View in EDS PDF Full Text

Verifying Determinism in Sequential Programs.

Saved in:
Bibliographic Details
Title: Verifying Determinism in Sequential Programs.
Authors: Mudduluru, Rashmi1, rashmi4@cs.washington.edu, Waataja, Jason1, jwaataja@cs.washinton.edu, Millstein, Suzanne1, smillst@cs.washinton.edu, Ernst, Michael D.1, mernst@cs.washinton.edu
Source: ICSE: International Conference on Software Engineering; 5/22/2021, p37-49, 13p
Database: Applied Science & Technology Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 155538672
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Verifying Determinism in Sequential Programs.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Mudduluru%2C+Rashmi%22">Mudduluru, Rashmi</searchLink><relatesTo>1</relatesTo>, <i>rashmi4@cs.washington.edu</i><br /><searchLink fieldCode="AU" term="%22Waataja%2C+Jason%22">Waataja, Jason</searchLink><relatesTo>1</relatesTo>, <i>jwaataja@cs.washinton.edu</i><br /><searchLink fieldCode="AU" term="%22Millstein%2C+Suzanne%22">Millstein, Suzanne</searchLink><relatesTo>1</relatesTo>, <i>smillst@cs.washinton.edu</i><br /><searchLink fieldCode="AU" term="%22Ernst%2C+Michael+D%2E%22">Ernst, Michael D.</searchLink><relatesTo>1</relatesTo>, <i>mernst@cs.washinton.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>; 5/22/2021, p37-49, 13p
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=155538672
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/ICSE43902.2021.00017
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 13
        StartPage: 37
    Titles:
      – TitleFull: Verifying Determinism in Sequential Programs.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Mudduluru, Rashmi
      – PersonEntity:
          Name:
            NameFull: Waataja, Jason
      – PersonEntity:
          Name:
            NameFull: Millstein, Suzanne
      – PersonEntity:
          Name:
            NameFull: Ernst, Michael D.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 22
              M: 05
              Text: 5/22/2021
              Type: published
              Y: 2021
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1