Learning Assumptions for Compositional Verification
By J. M. Cobleigh, D. Giannakopoulou, Corina S. Pasareanu. International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2003
441 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software
View Paper: https://www.semanticscholar.org/paper/da04be63868ec1a67c32844d58c76c06a8e395bc
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
- Koushik Sen
- Parthasarathy Madhusudan
- Rajeev Alur
- George C. Necula
- Wontae Choi
- Xavier Leroy
- Tao Xie
- Jian Pei
In Computational Theory and Mathematics
- Rajeev Alur
- Parthasarathy Madhusudan
- Koushik Sen
- George C. Necula
- Wontae Choi
- Wonhong Nam
- Pavol Cerný
- Tao Xie
In Software
- Koushik Sen
- Rajeev Alur
- George C. Necula
- Wontae Choi
- Parthasarathy Madhusudan
- Wonhong Nam
- Pavol Cerný
- Xavier Leroy
Citations in the corpus
- Synthesis of interface specifications for Java classes (2005, methodology): “[12] (see also [7]) who use the L algorithm to automatically construct assumptions for compo-”
- Guided GUI testing of android apps with minimal restart and approximate learning (2013, methodology): “On the other hand, if the trace is consistent with the model learned so far, the algo-rithm executes the app on the input a from the latest app state (lines 12–13) .”