Search results for "ESC/Java2"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
220	David R. Cok, Joseph Kiniry	ESC/Java2: Uniting ESC/Java and JML.	CASSIS	2004	DBLP DOI BibTeX RDF
129	Aleksy Schubert, Jacek Chrzaszcz	ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications.	SET	2006	DBLP DOI BibTeX RDF
97	Mikolás Janota, Radu Grigore, Michal Moskal	Reachability analysis for annotated code.	SAVCBS	2007	DBLP DOI BibTeX RDF	ESC/Java2, JML
94	Erik Poll	Teaching Program Specification and Verification Using JML and ESC/Java2.	TFM	2009	DBLP DOI BibTeX RDF
70	Patrice Chalin, Frédéric Rioux	JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.	FM	2008	DBLP DOI BibTeX RDF
70	Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz	Propagation of JML non-null annotations in Java programs.	PPPJ	2006	DBLP DOI BibTeX RDF
59	Hiroshi Ishikawa 0010	An Approach for Refactoring using ESC/Java2 - A Simple Case Study -.	SoMeT	2009	DBLP DOI BibTeX RDF
59	Joseph R. Kiniry, Alan E. Morkan, Barry Denby	Soundness and completeness warnings in ESC/Java2.	SAVCBS@FSE	2006	DBLP DOI BibTeX RDF
59	Patrice Chalin	Early detection of JML specification errors using ESC/Java2.	SAVCBS@FSE	2006	DBLP DOI BibTeX RDF
59	David R. Cok	Specifying java iterators with JML and Esc/Java2.	SAVCBS@FSE	2006	DBLP DOI BibTeX RDF
59	Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.	FMCO	2005	DBLP DOI BibTeX RDF
50	Patrice Chalin, Perry R. James, George Karabotsos	An integrated verification environment for JML: architecture and early results.	SAVCBS	2007	DBLP DOI BibTeX RDF	JML4, integrated verification environment, Eclipse, java modeling language
35	Lieven Desmet, Pierre Verbaeten, Wouter Joosen, Frank Piessens	Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Security, Reliability, Data sharing, Web technologies, Security and Protection, Web-based services, Software/Program Verification
35	Greg Dennis, Kuat Yessenov, Daniel Jackson 0001	Bounded Verification of Voting Software.	VSTTE	2008	DBLP DOI BibTeX RDF
35	Patrice Chalin	A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler.	ICSE	2007	DBLP DOI BibTeX RDF
35	David A. Naumann	From Coupling Relations to Mated Invariants for Checking Information Flow.	ESORICS	2006	DBLP DOI BibTeX RDF
35	Bart Jacobs 0001, Claude Marché, Nicole Rauch	Formal Verification of a Commercial Smart Card Applet with Multiple Tools.	AMAST	2004	DBLP DOI BibTeX RDF