Statically checking api protocol conformance with mined multi-object specifications, companion report (2012)

by Michael Pradel , Ciera Jaspan , Jonathan Aldrich , Thomas R. Gross
Citations:3 - 3 self

Documents Related by Co-Citation

20 Automatic generation of object usage specifications from large method traces – Michael Pradel, Thomas R. Gross - 2009
11 A Framework for the Evaluation of Specification Miners Based on Finite State Machines – Michael Pradel, Thomas R. Gross
18 MSeqGen: Object-oriented unit-test generation via mining source code – Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan De Halleux, Wolfram Schulte - 2009
6 Random Unit-Test Generation with MUT-aware Sequence Recommendation – Wujie Zheng, Qirun Zhang, Michael Lyu, Tao Xie
14 Mining temporal specifications from object usage – A Wasylkowski, A Zeller - 2009
3 GenRed: A tool for generating and reducing object-oriented test cases – H Jaygarl, K-S Lu, C K Chang - 2010
9 On the Predictability of Random Tests for Object-Oriented Software – Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer - 2008
13 Online inference and enforcement of temporal properties – Mark Gabel, Zhendong Su - 2010
5 DyGen: Automatic Generation of High-coverage Tests via Mining Gigabytes of Dynamic Traces – Suresh Thummalapenta, Jonathan De Halleux, Nikolai Tillmann, Scott Wadsworth
131 Jcrasher: an automatic robustness tester for java – Christoph Csallner, Yannis Smaragdakis - 2004
45 et al. The DaCapo benchmarks: Java benchmarking development and analysis – S M Blackburn, R Garner - 2006
18 Mutually enhancing test generation and specification inference – Tao Xie, David Notkin - 2003
14 Automatic extraction of object-oriented observer abstractions from unit-test executions – Tao Xie, David Notkin - 2004
22 Mining exception-handling rules as sequence association rules – Suresh Thummalapenta, Tao Xie - 2009
21 Generating Test Cases for Specification Mining – Valentin Dallmeier, Christoph Mallon, Sebastian Hack, Andreas Zeller
17 Combined Static and Dynamic Automated Test Generation – Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst
5 Dynamic analysis for diagnosing integration faults – L Mariani, F Pastore, M Pezzè
141 Automatic Extraction of Object-Oriented Component Interfaces – John Whaley, Michael Martin, Monica Lam - 2002
106 Feedback-directed random test generation – Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball - 2007