Kind Theory (2002)

by Joseph R. Kiniry
Citations:1 - 1 self

Documents Related by Co-Citation

1 Assertion-based loop invariant generation – M Janota - 2007
6 P.: Enhanced extended static checking in JML4: Benefits of multiple-prover support – P R James, Chalin
71 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
80 Design Complexity Measurement and Testing – T McCabe, C Butler - 1989
72 ESC/Java2: Uniting ESC/Java and JML – J R Kiniry, D R Cok - 2005
21 an annotation assistant for ESC/Java – C Flanagan, K R M Leino, “Houdini - 2000
30 Seamless Object-Oriented Software Architecture—Analysis and Design of Reliable Systems – K Waldén, J-M Nerson - 1995
6 Formal specification of Gemplus’ electronic purse case study using ESC/Java – N Cataño, M Huisman
8 Reachability Analysis for Annotated Code – Mikoláš Janota, et al. - 2007
12 B.: Soundness and Completeness Warnings in ESC/Java2 – Joseph R. Kiniry, Alan E. Morkan, Barry Denby - 2006
11 Secret Ninja Formal Methods – Joseph R. Kiniry, Daniel M. Zimmerman
4 Using information about functions in selecting test cases – M Clermont, D Parnas - 2005
1 JavaDoc tool and API – Sun Microsystems
1 Eiffel analysis, design and programming language – E Bezault, M Howard, A Kogtenkov, B Meyer, E Stapf - 2005
11 JML4: Towards an industrial grade IVE for Java and next generation research platform for JML – Patrice Chalin, Perry R. James, George Karabotsos - 2008
3 Ensuring consistency between designs, documentation, formal specifications, and implementations – Joseph R. Kiniry, Fintan Fairmichael - 2009
1 Assertion-based loop invariant generation,” in 1st International Workshop on Invariant Generation – M Janota - 2009
57 Using Test Oracles Generated from Program Documentation – Dennis Peters, Student Member, Ieee David, Lorge Parnas, Senior Member - 1998
232 A rational design process: How and why to fake it – D L Parnas, P C Clements - 1986