View in EDS PDF Full Text

Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference.

Saved in:
Bibliographic Details
Title: Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference.
Authors: Krka, Ivo1, krka@usc.edu, Brun, Yuriy2, brun@cs.washington.edu, Popescu, Daniel1, dpopescu@usc.edu, Garcia, Joshua1, joshuaga@usc.edu, Medvidovic, Nenad1, neno@usc.edu
Source: ICSE: International Conference on Software Engineering; 2010, p179-182, 4p, 3 Diagrams
Database: Applied Science & Technology Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 57454846
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Krka%2C+Ivo%22">Krka, Ivo</searchLink><relatesTo>1</relatesTo>, <i>krka@usc.edu</i><br /><searchLink fieldCode="AU" term="%22Brun%2C+Yuriy%22">Brun, Yuriy</searchLink><relatesTo>2</relatesTo>, <i>brun@cs.washington.edu</i><br /><searchLink fieldCode="AU" term="%22Popescu%2C+Daniel%22">Popescu, Daniel</searchLink><relatesTo>1</relatesTo>, <i>dpopescu@usc.edu</i><br /><searchLink fieldCode="AU" term="%22Garcia%2C+Joshua%22">Garcia, Joshua</searchLink><relatesTo>1</relatesTo>, <i>joshuaga@usc.edu</i><br /><searchLink fieldCode="AU" term="%22Medvidovic%2C+Nenad%22">Medvidovic, Nenad</searchLink><relatesTo>1</relatesTo>, <i>neno@usc.edu</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>; 2010, p179-182, 4p, 3 Diagrams
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=57454846
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 4
        StartPage: 179
    Titles:
      – TitleFull: Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Krka, Ivo
      – PersonEntity:
          Name:
            NameFull: Brun, Yuriy
      – PersonEntity:
          Name:
            NameFull: Popescu, Daniel
      – PersonEntity:
          Name:
            NameFull: Garcia, Joshua
      – PersonEntity:
          Name:
            NameFull: Medvidovic, Nenad
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: 2010
              Type: published
              Y: 2010
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1