Search results for "Java PathFinder"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid	State extensions for java pathfinder.	ICSE	2008	DBLP DOI BibTeX RDF	delta execution, jpf, mixed execution, java pathfinder
2	Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov	Test generation through programming in UDITA.	ICSE	2010	DBLP DOI BibTeX RDF	Pex, UDITA, test filtering, test predicates, test generation, automated testing, test programs, Java PathFinder
2	Matt Staats, Corina S. Pasareanu	Parallel symbolic execution for structural test generation.	ISSTA	2010	DBLP DOI BibTeX RDF	parallel, symbolic execution, java pathfinder
2	Pavel Parizek, Nodir Yuldashev	Extraction of component-environment interaction model using state space traversal.	SAC	2010	DBLP DOI BibTeX RDF	software components, behavior protocols, Java PathFinder
2	Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan	Incremental state-space exploration for programs with dynamically allocated data.	ICSE	2008	DBLP DOI BibTeX RDF	jpf, model checking, incremental computation, state-space exploration, java pathfinder, j-sim
2	Saswat Anand, Corina S. Pasareanu, Willem Visser	JPF-SE: A Symbolic Execution Extension to Java PathFinder.	TACAS	2007	DBLP DOI BibTeX RDF
2	Pavel Parizek, Frantisek Plasil	Partial Verification of Software Components: Heuristics for Environment Construction.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF	concurrency errors, model checking, static analysis, software components, Java PathFinder
2	Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov	Optimized Execution of Deterministic Blocks in Java PathFinder.	ICFEM	2006	DBLP DOI BibTeX RDF
2	Pavel Parizek, Frantisek Plasil, Jan Kofron	Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.	SEW	2006	DBLP DOI BibTeX RDF	cooperation of model checkers, model checking, software components, behavior protocols
2	Francesca Arcelli Fontana, Claudia Raibulet, Ivano Rigo, Luigi Ubezio	An Eclipse Plug-in for the Java PathFinder Runtime Verification System.	SEW	2006	DBLP DOI BibTeX RDF
2	Vadim Mutilin	Concurrent Testing of Java Components Using Java PathFinder.	ISoLA	2006	DBLP DOI BibTeX RDF
2	Gary Lindstrom, Peter C. Mehlitz, Willem Visser	Model Checking Real Time Java Using Java PathFinder.	ATVA	2005	DBLP DOI BibTeX RDF
2	Willem Visser, Peter C. Mehlitz	Model Checking Programs with Java PathFinder.	SPIN	2005	DBLP DOI BibTeX RDF
2	Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid	Test input generation with java PathFinder.	ISSTA	2004	DBLP DOI BibTeX RDF	testing object-oriented programs, model checking, coverage, symbolic execution, red-black trees
2	Klaus Havelund, Thomas Pressburger	Model Checking JAVA Programs using JAVA PathFinder.	STTT	2000	DBLP DOI BibTeX RDF	Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin
1	Xin Zhang, Franck van Breugel	Model Checking Randomized Algorithms with Java PathFinder.	QEST	2010	DBLP DOI BibTeX RDF
1	Tomas Kalibera, Pavel Parizek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
1	Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid	Optimizing Generation of Object Graphs in Java PathFinder.	ICST	2009	DBLP DOI BibTeX RDF
1	Emil Vassev, Mike Hinchey, Aaron J. Quigley	Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSL.	ICSOFT	2009	DBLP BibTeX RDF
1	Neha Rungta, Eric G. Mercer	Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.	PADTAD	2009	DBLP DOI BibTeX RDF	testing and verification tools, evaluation, benchmarks, empirical study, concurrent programs
1	Gabor Szeder	Unit testing for multi-threaded Java programs.	PADTAD	2009	DBLP DOI BibTeX RDF	Java
1	Vendula Hrubá, Bohuslav Krena, Tomás Vojnar	Self-healing Assurance Based on Bounded Model Checking.	EUROCAST	2009	DBLP DOI BibTeX RDF
1	Pavel Parizek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
1	Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys	MoonWalker: Verification of .NET Programs.	TACAS	2009	DBLP DOI BibTeX RDF
1	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic execution with abstraction.	STTT	2009	DBLP DOI BibTeX RDF
1	Jesús Martínez, Cristóbal Jiménez	Software Model Checking for Internet Protocols with Java PathFinder.	MSVVEIS	2008	DBLP BibTeX RDF
1	Enrique Alba, J. Francisco Chicano, Marco Ferreira, Juan Antonio Gómez Pulido	Finding deadlocks in large concurrent Java programs using genetic algorithms.	GECCO	2008	DBLP DOI BibTeX RDF	memory operator, genetic algorithm, model checking, graph search
1	Jun Chen, Steve MacDonald	Towards a better collaboration of static and dynamic analyses for testing concurrent programs.	PADTAD	2008	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape	Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.	ISSTA	2008	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
1	Pavel Parizek, Jirí Adámek	Checking Session-Oriented Interactions between Web Services.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
1	Ales Plsek, Jirí Adámek	Carmen: Software Component Model Checker.	QoSA	2008	DBLP DOI BibTeX RDF
1	Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He	The Validation and Verification of WSCDL.	APSEC	2007	DBLP DOI BibTeX RDF	WSCDL, Verification, Validation
1	John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki	Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.	ASWEC	2007	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Willem Visser	Symbolic Execution and Model Checking for Testing.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Joseph G. Slember, Priya Narasimhan	Handling Emergent Nondeterminism in Replicated Services.	WADS	2007	DBLP DOI BibTeX RDF
1	Willem Visser, Corina S. Pasareanu, Radek Pelánek	Test input generation for java containers using state matching.	ISSTA	2006	DBLP DOI BibTeX RDF
1	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic Execution with Abstract Subsumption Checking.	SPIN	2006	DBLP DOI BibTeX RDF
1	Willem Visser, Corina S. Pasareanu, Radek Pelánek	Test input generation for red-black trees using abstraction.	ASE	2005	DBLP DOI BibTeX RDF	testing object oriented programs, model checking, abstraction, coverage, red-black trees
1	Sarfraz Khurshid, Iván García, Yuk Lai Suen	Repairing Structurally Complex Data.	SPIN	2005	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Willem Visser	Verification of Java Programs Using Symbolic Execution and Invariant Generation.	SPIN	2004	DBLP DOI BibTeX RDF
1	Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao	Auto-generating Test Sequences Using Model Checkers: A Case Study.	FATES	2003	DBLP DOI BibTeX RDF
1	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
1	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding feasible abstract counter-examples.	STTT	2003	DBLP DOI BibTeX RDF	Counter-example analysis, Model checking, Abstract interpretation, Software verification
1	Alex Groce, Willem Visser	Model checking Java programs using structural heuristics.	ISSTA	2002	DBLP DOI BibTeX RDF	model checking, testing, heuristics, coverage metrics
1	Dimitra Giannakopoulou, Flavio Lerda	From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.	FORTE	2002	DBLP DOI BibTeX RDF
1	Alex Groce, Willem Visser	Heuristic Model Checking for Java Programs.	SPIN	2002	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Model-checking multi-threaded distributed Java programs.	STTT	2002	DBLP DOI BibTeX RDF	Java, Model checking, Reduction, Locks, Partial-order methods
1	Flavio Lerda, Willem Visser	Addressing Dynamic Issues of Program Model Checking.	SPIN	2001	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.	TACAS	2001	DBLP DOI BibTeX RDF
1	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park	Model Checking Programs. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF
1	Klaus Havelund	Java PathFinder, A Translator from Java to Promela.	SPIN	1999	DBLP DOI BibTeX RDF
1	Klaus Havelund, Jens U. Skakkebæk	Applying Model Checking in Java Verification.	SPIN	1999	DBLP DOI BibTeX RDF