The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for JPF with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999-2006 (17) 2007-2008 (16) 2009-2015 (16) 2016-2024 (13)
Publication types (Num. hits)
article(26) inproceedings(36)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 48 occurrences of 31 keywords

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