Search For:

Displaying 1-6 out of 6 total
Name-Based Analysis of Equally Typed Method Arguments
Found in: IEEE Transactions on Software Engineering
By Michael Pradel,Thomas R. Gross
Issue Date:August 2013
pp. 1127-1143
When calling a method that requires multiple arguments, programmers must pass the arguments in the expected order. For statically typed languages, the compiler helps programmers by checking that the type of each argument matches the type of the formal para...
A framework for the evaluation of specification miners based on finite state machines
Found in: Software Maintenance, IEEE International Conference on
By Michael Pradel, Philipp Bichsel, Thomas R. Gross
Issue Date:September 2010
pp. 1-10
Software maintenance tasks, such as testing and program understanding, can benefit from formal specifications that describe how a program should use an API. Recently, there has been increasing interest in specification miners that automatically extract fin...
Automatic Generation of Object Usage Specifications from Large Method Traces
Found in: Automated Software Engineering, International Conference on
By Michael Pradel, Thomas R. Gross
Issue Date:November 2009
pp. 371-382
Formal specifications are used to identify programming errors, verify the correctness of programs, and as documentation. Unfortunately, producing them is error-prone and time-consuming, so they are rarely used in practice. Inferring specifications from a r...
Static detection of brittle parameter typing
Found in: Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA 2012)
By Michael Pradel, Severin Heiniger, Thomas R. Gross
Issue Date:July 2012
pp. 265-275
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the method does not expect as actual argument types. For example, this may happen if...
Detecting anomalies in the order of equally-typed method arguments
Found in: Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA '11)
By Michael Pradel, Thomas R. Gross
Issue Date:July 2011
pp. 232-242
In statically-typed programming languages, the compiler ensures that method arguments are passed in the expected order by checking the type of each argument. However, calls to methods with multiple equally-typed parameters slip through this check. The unce...
Dynamically inferring, refining, and checking API usage protocols
Found in: Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications (OOPSLA '09)
By Michael Pradel
Issue Date:October 2009
pp. 773-774
Using a set of API methods often requires compliance with a protocol, whose violation can lead to errors in the program. However, most APIs lack explicit and formal definitions of these protocols. We propose a dynamic program analysis for automatically inf...