Automatic generation of software behavioral models
By Davide Lorenzoli, Leonardo Santanna Mariani, Mauro Pezzè. 2008 ACM/IEEE 30th International Conference on Software Engineering, 2008
455 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Information Systems, Software
View Paper: https://www.semanticscholar.org/paper/2395c18da5d3f63600f74c15dca984dbcb4f97aa
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Earl T. Barr
- Zhendong Su
- Shin Yoo
- Mark Harman
- Mark Gabel
- Phil McMinn
- Premkumar T. Devanbu
- Charles Sutton
In Information Systems
- Mark Harman
- Phil McMinn
- Shin Yoo
- Earl T. Barr
- Zhendong Su
- Premkumar T. Devanbu
- Miltiadis Allamanis
- Charles Sutton
In Software
- Mark Harman
- Phil McMinn
- Shin Yoo
- Earl T. Barr
- Zhendong Su
- Koushik Sen
- Muzammil Shahbaz
- Premkumar T. Devanbu
Citations in the corpus
- Extracting State Models for Black-Box Software Components (2010, methodology): “Lorenzoli et al [21] proposed a technique to generate behavioral models of software systems in the form of extended FSMs (FSMs) by monitoring software executions.”
- Javert: fully automatic mining of general temporal properties from dynamic traces (2008, methodology): “have developed a dynamic analysis algorithm for extracting software behavioral models [20].”
- The Oracle Problem in Software Testing: A Survey (2015, methodology): “Similar applications of inference can be found in system analysis [21], [78], [134], [188], [189], component interaction testing [114], [121], regression testing [200], security testing [168] and verification [53], [77], [147].”