Search results for "JPF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
172	Tihomir Gvero, Milos Gligoric 0001, 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
141	Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov	Optimized Execution of Deterministic Blocks in Java PathFinder.	ICFEM	2006	DBLP DOI BibTeX RDF
99	Saswat Anand, Corina S. Pasareanu, Willem Visser	JPF-SE: A Symbolic Execution Extension to Java PathFinder.	TACAS	2007	DBLP DOI BibTeX RDF
70	Willem Visser, Peter C. Mehlitz	Model Checking Programs with Java PathFinder.	SPIN	2005	DBLP DOI BibTeX RDF
70	Gary Lindstrom, Peter C. Mehlitz, Willem Visser	Model Checking Real Time Java Using Java PathFinder.	ATVA	2005	DBLP DOI BibTeX RDF
53	Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
53	Milos Gligoric 0001, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov	Test generation through programming in UDITA.	ICSE (1)	2010	DBLP DOI BibTeX RDF	Pex, UDITA, test filtering, test predicates, test generation, automated testing, test programs, Java PathFinder
53	Marcelo d'Amorim, Steven Lauterburg, Darko Marinov	Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
53	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
53	Vadim S. Mutilin	Concurrent Testing of Java Components Using Java PathFinder.	ISoLA	2006	DBLP DOI BibTeX RDF
53	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
53	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
53	Klaus Havelund, Thomas Pressburger	Model Checking JAVA Programs using JAVA PathFinder.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin
53	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park	Model Checking Programs.	ASE	2000	DBLP DOI BibTeX RDF
49	Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge	Verifying Multi-agent Programs by Model Checking.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming
35	Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys	MoonWalker: Verification of .NET Programs.	TACAS	2009	DBLP DOI BibTeX RDF
35	Graham Hughes, Tevfik Bultan	Interface Grammars for Modular Software Model Checking.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
35	Glauber Ferreira, Emerson Loureiro, Elthon A. S. Oliveira	A Java code annotation approach for model checking software systems.	SAC	2007	DBLP DOI BibTeX RDF
35	Marcelo d'Amorim, Steven Lauterburg, Darko Marinov	Delta execution for efficient state-space exploration of object-oriented programs.	ISSTA	2007	DBLP DOI BibTeX RDF	delta execution, model checking
35	Pavel Parízek, Frantisek Plásil, 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
35	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding feasible abstract counter-examples.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Counter-example analysis, Model checking, Abstract interpretation, Software verification
35	Flavio Lerda, Willem Visser	Addressing Dynamic Issues of Program Model Checking.	SPIN	2001	DBLP DOI BibTeX RDF
35	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.	TACAS	2001	DBLP DOI BibTeX RDF
35	Klaus Havelund, Jens U. Skakkebæk	Applying Model Checking in Java Verification.	SPIN	1999	DBLP DOI BibTeX RDF
32	Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan 0001	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
29	Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi 0001	JPF: From 2003 to 2023.	TACAS (2)	2024	DBLP DOI BibTeX RDF
29	Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang 0006, Franck van Breugel	jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code.	ACM SIGSOFT Softw. Eng. Notes	2023	DBLP DOI BibTeX RDF
29	Johan Besseling, Cyrille Artho	Using Theia Trace Viewer to Visualize JPF Traces.	ACM SIGSOFT Softw. Eng. Notes	2023	DBLP DOI BibTeX RDF
29	Yang Zhou, Cyrille Artho	TC4JPF: Using Trace Compass to Visualize JPF Traces.	ACM SIGSOFT Softw. Eng. Notes	2021	DBLP DOI BibTeX RDF
29	Canh Minh Do, Kazuhiro Ogata 0001	A divide & conquer approach to testing concurrent programs with JPF*.	APSEC	2020	DBLP DOI BibTeX RDF
29	Joshua Hooker, Peter Aldous, Eric Mercer, Benjamin Ogles, Kyle Storey, Sheridan Jacob Powell	JPF-HJ: A Tool for Task Parallel Program Analysis.	ACM SIGSOFT Softw. Eng. Notes	2019	DBLP DOI BibTeX RDF
29	Lasse Berglund, Cyrille Artho	Method summaries for JPF.	ACM SIGSOFT Softw. Eng. Notes	2019	DBLP DOI BibTeX RDF
29	Canh Minh Do, Kazuhiro Ogata 0001	A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude.	SOFL+MSVL	2019	DBLP DOI BibTeX RDF
29	Kaiyuan Wang, Hayes Converse, Milos Gligoric 0001, Sasa Misailovic, Sarfraz Khurshid	A Progress Bar for the JPF Search Using Program Executions.	ACM SIGSOFT Softw. Eng. Notes	2018	DBLP DOI BibTeX RDF
29	Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric 0001	JPR: Replaying JPF Traces Using Standard JVM.	ACM SIGSOFT Softw. Eng. Notes	2017	DBLP DOI BibTeX RDF
29	Sarvesh Nagarajan, Nastaran Shafiei, Sarfraz Khurshid	Towards Exhaustive Testing of Websites using JPF.	ACM SIGSOFT Softw. Eng. Notes	2016	DBLP DOI BibTeX RDF
29	Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk	StateComparator: Detecting Unbounded Variables Using JPF.	ACM SIGSOFT Softw. Eng. Notes	2016	DBLP DOI BibTeX RDF
29	Libin Wu, Yahui Lu, Jing Qi, Shubin Cai, Bo Deng, Zhong Ming 0001	Bug Analysis of Android Applications Based on JPF.	SmartCom	2016	DBLP DOI BibTeX RDF
29	Heila van der Merwe, Oksana Tkachuk, Sean Nel, Brink van der Merwe, Willem Visser	Environment Modeling Using Runtime Values for JPF-Android.	ACM SIGSOFT Softw. Eng. Notes	2015	DBLP DOI BibTeX RDF
29	Peter Anderson, Nick Vrvilo, Eric Mercer, Vivek Sarkar	JPF Verification of Habanero Java Programs using Gradual Type Permission Regions.	ACM SIGSOFT Softw. Eng. Notes	2015	DBLP DOI BibTeX RDF
29	Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu	From Test Purposes to Formal JPF Properties.	ACM SIGSOFT Softw. Eng. Notes	2015	DBLP DOI BibTeX RDF
29	Heila van der Merwe, Brink van der Merwe, Willem Visser	Execution and property specifications for JPF-android.	ACM SIGSOFT Softw. Eng. Notes	2014	DBLP DOI BibTeX RDF
29	Eric Noonan, Eric Mercer, Neha Rungta	Vector-clock based partial order reduction for JPF.	ACM SIGSOFT Softw. Eng. Notes	2014	DBLP DOI BibTeX RDF
29	Nastaran Shafiei, Peter C. Mehlitz	Extending JPF to verify distributed systems.	ACM SIGSOFT Softw. Eng. Notes	2014	DBLP DOI BibTeX RDF
29	Richard Potter, Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya	A Knoppix-based demonstration environment for JPF.	ACM SIGSOFT Softw. Eng. Notes	2014	DBLP DOI BibTeX RDF
29	Peter Anderson, Brandon Chase, Eric Mercer	JPF verification of habanero Java programs.	ACM SIGSOFT Softw. Eng. Notes	2014	DBLP DOI BibTeX RDF
29	Supasit Monpratarnchai, Shoichiro Fujiwara, Asako Katayama, Tadahiro Uehara	Automated testing for Java programs using JPF-based test case generation.	ACM SIGSOFT Softw. Eng. Notes	2014	DBLP DOI BibTeX RDF
29	Louise A. Dennis, Michael Fisher 0001, Matthew P. Webster	Using Agent JPF to Build Models for Other Model Checkers.	CLIMA	2013	DBLP DOI BibTeX RDF
29	Mateusz Ujma, Nastaran Shafiei	jpf-concurrent: An extension of Java PathFinder for java.util.concurrent	CoRR	2012	DBLP BibTeX RDF
29	Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma	JPF-AWT: Model checking GUI applications.	ASE	2011	DBLP DOI BibTeX RDF
18	Viet Yen Nguyen, Theo C. Ruys	Memoised Garbage Collection for Software Model Checking.	TACAS	2009	DBLP DOI BibTeX RDF
18	Arnab De, Abhik Roychoudhury, Deepak D'Souza	Java memory model aware software validation.	PASTE	2008	DBLP DOI BibTeX RDF
18	Enrique Alba 0001, 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
18	Jun Chen 0018, Steve MacDonald	Towards a better collaboration of static and dynamic analyses for testing concurrent programs.	PADTAD	2008	DBLP DOI BibTeX RDF
18	Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp	Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming
18	Graham Hughes, Tevfik Bultan	Interface grammars for modular software model checking.	ISSTA	2007	DBLP DOI BibTeX RDF	interface grammars, model checking, modular verification
18	Corina S. Pasareanu, Willem Visser	Symbolic Execution and Model Checking for Testing.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
18	Jun Chen 0018, Steve MacDonald	Testing concurrent programs using value schedules.	ASE	2007	DBLP DOI BibTeX RDF	value schedule, model checking, concurrent
18	Xianghua Deng, Robby, John Hatcliff	Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.	SEFM	2007	DBLP DOI BibTeX RDF
18	Alex Groce, Willem Visser	Heuristic Model Checking for Java Programs.	SPIN	2002	DBLP DOI BibTeX RDF
18	Dimitra Giannakopoulou, Flavio Lerda	From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.	FORTE	2002	DBLP DOI BibTeX RDF
18	John Hatcliff, Matthew B. Dwyer	Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software.	CONCUR	2001	DBLP DOI BibTeX RDF