|
62
|
How the design of JML accommodates both runtime assertion checking and formal verification
– Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
- 2003
|
|
243
|
An Overview of JML Tools and Applications
– Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
- 2003
|
|
52
|
Model Variables: Cleanly Supporting Abstraction in Design By Contract
– Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards
- 2003
|
|
44
|
Specification and verification challenges for sequential object-oriented programs
– Gary T. Leavens, K. Rustan M. Leino, Peter Müller
|
|
25
|
An Overview of Larch/C++: Behavioral Specifications for C++ Modules
– Gary T. Leavens
- 1996
|
|
|
requisito para a aprovação da dissertação de mestrado. ORIENTADORES:
– Escola Politécnica De Pernambuco, Henrique Emanuel, Mostaert Rebêlo, Maio De Universidade De Pernambuco, Departamento De, Sistemas Computaç Ão, Henrique Emanuel, Mostaert Rebêlo, Prof Ricardo, Massa Ferreira Lima, Prof Márcio, Lopes Cornélio, Ii Ri Reb^elo, Henrique Emanuel Mostaert
|
|
7
|
The JML and JUnit Way of Unit Testing and its Implementation
– Yoonsik Cheon, Yoonsik Cheon, Gary T. Leavens, Gary T. Leavens
- 2004
|
|
13
|
Class Refinement as Semantics of Correct Object Substitutability
– Ralph-Johan Back, Anna Mikhajlova, Joakim Von Wright
|
|
32
|
TestEra: Specification-based Testing of Java Programs Using SAT
– Sarfraz Khurshid, Darko Marinov
- 2004
|
|
32
|
Modular Data Structure Verification
– Martin C. Rinard
- 2007
|
|
5
|
TestEra: A Novel Framework for Testing Java Programs
– Sarfraz Khurshid, Darko Marinov
- 2003
|
|
28
|
Pipa: A Behavioral Interface Specification Language for AspectJ
– Jianjun Zhao, Martin Rinard
- 2003
|
|
5
|
Class Refinement as Semantics of Correct Subclassing
– Ralph Back, Anna Mikhajlova, Joakim Von Wright
- 1997
|
|
2
|
Executing Formal Specifications with Constraint Programming
– Tim Wahls, Gary T. Leavens, Albert L. Baker
- 1998
|
|
1
|
JWalk: a Tool for Lazy, Systematic Testing of Java Classes by Design Introspection and User Interaction �
– Anthony J. H. Simons
|
|
27
|
Automatic Testing of Software with Structurally Complex Inputs
– Darko Marinov
- 2005
|
|
4
|
Evaluating the ”Small Scope Hypothesis
– Alexandr Andoni, Dumitru Daniliuc, Sarfraz Khurshid
- 2003
|
|
34
|
The Greybox Approach: When Blackbox Specifications Hide Too Much
– Martin Büchi, Wolfgang Weck
- 1999
|
|
9
|
A Quick Overview of Larch/C++
– Yoonsik Cheon, Gary T. Leavens
- 1994
|
