Pavel Parízek

ACM SIGSOFT Softw. Eng. Notes, January, 2023

The Java Pathfinder Workshop 2022.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, January, 2023

Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs.

[BibT_eX]

[DOI]

Filip Kliber

ACM SIGSOFT Softw. Eng. Notes, January, 2023

2020

The Java Pathfinder Workshop 2019.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2020

Endicheck: Dynamic Analysis for Detecting Endianness Bugs.

[BibT_eX]

[DOI]

Roman Kápl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

SharpDetect: Dynamic Analysis Framework for C#/.NET Programs.

[BibT_eX]

[DOI]

Andrej Cizmárik

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

Fast detection of concurrency errors by state space traversal with randomization and early backtracking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2019

A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder.

[BibT_eX]

[DOI]

Kyle Storey

Eric Mercer

ACM SIGSOFT Softw. Eng. Notes, 2019

Symbolic data race detection for Habanero programs.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2019

BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2019

2016

Hybrid Analysis for Partial Order Reduction of Programs with Arrays.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Fast error detection with hybrid analyses of future accesses.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information.

[BibT_eX]

[DOI]

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Model checking of concurrent programs with static analysis of field accesses.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

PANDA: Simultaneous Predicate Abstraction and Concrete Execution.

[BibT_eX]

[DOI]

Jakub Daniel

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

Predicate abstraction in Java Pathfinder.

[BibT_eX]

[DOI]

Jakub Daniel

Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2014

Approximating happens-before order: interplay between static analysis and state space traversal.

[BibT_eX]

[DOI]

Pavel Jancík

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Predicate Abstraction in Program Verification: Survey and Current Trends.

[BibT_eX]

[DOI]

Jakub Daniel

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

2012

Abstract pathfinder.

[BibT_eX]

[DOI]

Artem Khyzha

Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2012

Predicate abstraction of Java programs with collections.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

Randomized Backtracking in State Space Traversal.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2011

Identifying future field accesses in exhaustive state space traversal.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Assume-guarantee verification of software components in SOFA 2 framework.

[BibT_eX]

[DOI]

IET Softw., 2010

Efficient Detection of Errors in Java Components Using Random Environment and Restarts.

[BibT_eX]

[DOI]

Tomas Kalibera

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Extraction of component-environment interaction model using state space traversal.

[BibT_eX]

[DOI]

Nodir Yuldashev

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Challenge benchmarks for verification of real-time programs.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

Exhaustive testing of safety critical Java.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

2009

Challenge benchmarks for verification of real-time programs: (abstract only).

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2009

Automated Construction of Reasonable Environment for Java Components.

[BibT_eX]

[DOI]

Jirí Adámek

Tomas Kalibera

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

On Teaching Formal Methods: Behavior Models and Code Analysis.

[BibT_eX]

[DOI]

Jan Kofron

Ondrej Sery

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.

[BibT_eX]

[DOI]

Tomas Kalibera

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.

[BibT_eX]

[DOI]

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Checking Session-Oriented Interactions between Web Services.

[BibT_eX]

[DOI]

Jirí Adámek

Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

2007

Partial Verification of Software Components: Heuristics for Environment Construction.

[BibT_eX]

[DOI]

Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007

CoCoME in SOFA.

[BibT_eX]

[DOI]

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

CoCoME in Fractal.

[BibT_eX]

[DOI]

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Modeling Environment for Component Model Checking from Hierarchical Architecture.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

Specification and Generation of Environment for Model Checking of Software Components.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006

Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.

[BibT_eX]

[DOI]