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

Active Bibliography

Program analyses for automatic and . . . – Michael Pradel - 2012
Mining Operational Preconditions – Andrzej Wasylkowski, Andreas Zeller
4 Leveraging Test Generation and Specification Mining for Automated Bug Detection without False Positives – Michael Pradel, Thomas R. Gross
19 Symbolic mining of temporal specifications – Mark Gabel, Zhendong Su - 2008
20 Automatic generation of object usage specifications from large method traces – Michael Pradel, Thomas R. Gross - 2009
44 Detecting Object Usage Anomalies – Andrzej Wasylkowski, Andreas Zeller, Christian Lindig - 2007
4 Testing Mined Specifications ∗ – Mark Gabel, Zhendong Su
2.2 Formal Analysis......................................... 7 – Mark Gregory Gabel, Premkumar Devanbu, Todd Green
Improving software productivity and quality . . . – Suresh Thummalapenta
1 Detecting Missing Method Calls As Violations of the Majority Rule – Martin Monperrus, Mira Mezini, Technische Universität Darmstadt - 2013
19 Graph-based mining of multiple object usage patterns – Tung Thanh Nguyen, Jafar M. Al-kofahi, Hoan Anh Nguyen, Tien N. Nguyen, Nam H. Pham - 2009
42 Muvi: Automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs – Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou - 2007
28 Path-Sensitive Inference of Function Precedence Protocols – Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan - 2006
Mining API Specifications from Source Code for Improving Software Reliability – MITHUN PUTHIGE ACHARYA
45 Static Specification Mining Using Automata-Based Abstractions – Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia
58 From uncertainty to belief: Inferring the specification within – Ted Kremenek, Paul Twohey, Godmar Back, Andrew Ng, Dawson Engler - 2006
Name-based Analysis of Equally Typed Method Arguments – Michael Pradel, Thomas R. Gross - 2013
Detecting Anomalies in the Order of . . . – Michael Pradel, Thomas R. Gross - 2011
Detecting Anomalies in the Order of Equally-typed . . . – Michael Pradel, Thomas R. Gross - 2011