Search results for "ESC/Java"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
159	David R. Cok, Joseph Kiniry	ESC/Java2: Uniting ESC/Java and JML.	CASSIS	2004	DBLP DOI BibTeX RDF
148	Néstor Cataño, Marieke Huisman	Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.	FME	2002	DBLP DOI BibTeX RDF	ESC/Java, Java, specification, smart cards, static checking
89	Cormac Flanagan, K. Rustan M. Leino	Houdini, an Annotation Assistant for ESC/Java.	FME	2001	DBLP DOI BibTeX RDF
59	Greg Nelson	Extended Static Checking for Java.	MPC	2004	DBLP DOI BibTeX RDF
44	Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata	Extended Static Checking for Java.	PLDI	2002	DBLP DOI BibTeX RDF	compile-time program checking
40	Christoph Csallner, Yannis Smaragdakis	Check 'n' crash: combining static checking and testing.	ICSE	2005	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, automatic testing, test case generation, extended static checking
37	Frédéric Vogels, Bart Jacobs 0002, Frank Piessens	A machine-checked soundness proof for an efficient verification condition generator.	SAC	2010	DBLP DOI BibTeX RDF	soundness proof, verification conditions
34	Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck	Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification	CoRR	2008	DBLP BibTeX RDF
34	Jeremy W. Nimmer, Michael D. Ernst	Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java.	RV@CAV	2001	DBLP DOI BibTeX RDF
29	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula	JVer: A Java Verifier.	CAV	2005	DBLP DOI BibTeX RDF
25	Claude Marché, Christine Paulin-Mohring	Reasoning About Java Programs with Aliasing and Frame Conditions.	TPHOLs	2005	DBLP DOI BibTeX RDF
25	Engelbert Hubbers	Integrating Tools for Automatic Program Verification.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
22	Yoonsik Cheon, Gary T. Leavens	A contextual interpretation of undefinedness for runtime assertion checking.	AADEBUG	2005	DBLP DOI BibTeX RDF	undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions
22	Nick Rutar, Christian B. Almazan, Jeffrey S. Foster	A Comparison of Bug Finding Tools for Java.	ISSRE	2004	DBLP DOI BibTeX RDF
22	Patrice Chalin	Improving JML: For a Safer and More Effective Language.	FME	2003	DBLP DOI BibTeX RDF	behavioral interface specification languages, specification language design and semantics, arbitrary precision numeric types, assertion-based languages, formal methods, JML, Java Modeling Language
19	Greg Morrisett	Programming with Effects in Coq.	MPC	2008	DBLP DOI BibTeX RDF
19	Joseph Kiniry	Program Safety via Programmer Safety.	ISoLA	2006	DBLP DOI BibTeX RDF
19	Xianghua Deng, Robby, John Hatcliff	Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution.	ISoLA	2006	DBLP DOI BibTeX RDF
19	Sunghun Kim 0001, Kai Pan, E. James Whitehead Jr.	Memories of bug fixes.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	bug finding tool, prediction, patterns, fault, bug, fix
19	Xianghua Deng, Jooyong Lee, Robby	Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.	ASE	2006	DBLP DOI BibTeX RDF
19	Thomas Ball	The Verified Software Challenge: A Call for a Holistic Approach to Reliability.	VSTTE	2005	DBLP DOI BibTeX RDF
19	Byron Cook, Daniel Kroening, Natasha Sharygina	Cogent: Accurate Theorem Proving for Program Verification.	CAV	2005	DBLP DOI BibTeX RDF
19	Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava 0001, Greta Yorsh	Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures.	CADE	2005	DBLP DOI BibTeX RDF
19	Byron Cook, Daniel Kroening, Natasha Sharygina	Accurate Theorem Proving for Program Verification.	ISoLA	2004	DBLP DOI BibTeX RDF
19	David Déharbe, Silvio Ranise	Light-Weight Theorem Proving for Debugging and Verifying Units of Code.	SEFM	2003	DBLP DOI BibTeX RDF
19	Jeremy W. Nimmer, Michael D. Ernst	Invariant inference for static checking.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF