Mining scenario-based specifications with value-based invariants

Authors:
David Lo;Shahar Maoz
Affiliations:
School of Information Systems, Singapore Management University, Singapore, Singapore;The Weizmann Institute of Science, Rehovot, Israel
Venue:
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Year:
2009

Citing 5
Cited 0

Dynamically Discovering Likely Program Invariants to Support Program Evolution

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
From multi-modal scenarios to code: compiling LSCs into aspectJ

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Mining modal scenario-based specifications from execution traces of reactive systems

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Automatic generation of software behavioral models

Proceedings of the 30th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

There have been a number of studies on mining candidate specifications from execution traces. Some extract specifications corresponding to value-based invariants, while others work on inferring ordering constraints. In this work, we merge our previous work on mining scenario-based specifications, extracting ordering constraints in the form of live sequence charts (LSC), a visual specification language, with Daikon, a tool for mining value-based invariants. The resulting approach strengthens the expressive power of the mined scenarios by enriching them with scenario-specific value-based invariants. The concept is illustrated using a preliminary case study on a real application.