Automatically inferring temporal properties for program evolution

@article{Yang2004AutomaticallyIT,
  title={Automatically inferring temporal properties for program evolution},
  author={Jinlin Yang and David Evans},
  journal={15th International Symposium on Software Reliability Engineering},
  year={2004},
  pages={340-351}
}
It is important that program maintainers understand important properties of the programs they modify and ensure that the changes they make do not alter essential properties in unintended ways. Manually documenting those properties, especially temporal ones that constrain the ordering of events, is difficult and rarely done in practice. We propose an automatic approach to inferring a target system's temporal properties based on analyzing its event traces. The core of our technique is a set of… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS

6 Figures & Tables

Topics

Statistics

01020'05'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

51 Citations

Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.