Cyrille Artho

Sci. Comput. Program., 2024

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.

[BibT_eX]

[DOI]

CoRR, 2024

From Creation to Exploitation: The Oracle Lifecycle.

[BibT_eX]

[DOI]

Mikael Jafari

Proceedings of the IEEE International Conference on Software Analysis, 2024

JPF: From 2003 to 2023.

[BibT_eX]

[DOI]

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

Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments.

[BibT_eX]

[DOI]

Marcus Birgersson

Musard Balliu

Proceedings of the IEEE Secure Development Conference, 2024

In Industrial Embedded Software, are Some Compilation Errors Easier to Localize and Fix than Others?

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Activity Recognition Protection for IoT Trigger-Action Platforms.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE European Symposium on Security and Privacy, 2024

2023

Towards Wider Support for Java String Functions.

[BibT_eX]

[DOI]

Qiuchen Yan

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

Using Theia Trace Viewer to Visualize JPF Traces.

[BibT_eX]

[DOI]

Johan Besseling

ACM SIGSOFT Softw. Eng. Notes, January, 2023

CLawK: Monitoring Business Processes in Smart Contracts.

[BibT_eX]

[DOI]

Wolfgang Ahrendt

Thomas Troels Hildebrandt

Gerardo Schneider

CoRR, 2023

Capturing Smart Contract Design with DCR Graphs.

[BibT_eX]

[DOI]

Wolfgang Ahrendt

Thomas Troels Hildebrandt

Gerardo Schneider

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

2022

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2022

CircleChain: Tokenizing Products with a Role-based Scheme for a Circular Economy.

[BibT_eX]

[DOI]

Li Quan

Gustav Andersson Kasche

Filip Jacobson

Cosimo Bassi

CoRR, 2022

Finding permission bugs in smart contracts with role mining.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Prevalence of continuous integration failures in industrial systems with hardware-in-the-loop testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2021

TC4JPF: Using Trace Compass to Visualize JPF Traces.

[BibT_eX]

[DOI]

Yang Zhou

ACM SIGSOFT Softw. Eng. Notes, 2021

Formal Techniques for Safety-Critical Systems (FTSCS 2018).

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

Security-Aware Multi-User Architecture for IoT.

[BibT_eX]

[DOI]

Marcus Birgersson

Musard Balliu

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Test Benchmarks: Which One Now and in Future?

[BibT_eX]

[DOI]

Adam Benali

Rudolf Ramler

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning.

[BibT_eX]

[DOI]

Dilian Gurov

Proceedings of the EASE 2021: Evaluation and Assessment in Software Engineering, 2021

2020

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2020

The Java Pathfinder Workshop 2019.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2020

Multi-objective Search for Model-based Testing.

[BibT_eX]

[DOI]

Rui Wang

Lars Michael Kristensen

Volker Stolz

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Toward an Encoding Approach to Interaction-based Test Suite Minimization.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Method summaries for JPF.

[BibT_eX]

[DOI]

Lasse Berglund

ACM SIGSOFT Softw. Eng. Notes, 2019

Formal Techniques for Safety-Critical Systems (FTSCS 2016).

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.

[BibT_eX]

[DOI]

CoRR, 2019

Java Pathfinder at SV-COMP 2019 (Competition Contribution).

[BibT_eX]

[DOI]

Willem Visser

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

Visual Analytics for Concurrent Java Executions.

[BibT_eX]

[DOI]

Monali Pande

Qiyi Tang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Visualization and Abstractions for Execution Paths in Model-Based Software Testing.

[BibT_eX]

[DOI]

Rui Wang

Lars Michael Kristensen

Volker Stolz

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Model-based Network Fault Injection for IoT Protocols.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

Specification and verification of synchronization with condition variables.

[BibT_eX]

[DOI]

Pedro de Carvalho Gomes

Dilian Gurov

Marieke Huisman

Sci. Comput. Program., 2018

Formal Techniques for Safety-Critical Systems (FTSCS 2015).

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2018

2017

Formal Techniques for Safety-Critical Systems (FTSCS 2014).

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

Automated Dataset Construction from Web Resources with Tool Kayur.

[BibT_eX]

[DOI]

Alexander Kohan

Int. J. Netw. Comput., 2017

Model-based Testing of the Java Network API.

[BibT_eX]

[DOI]

Guillaume Rousset

Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

Classification Tree Method with Parameter Shielding.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2017

Model-Based API Testing of Apache ZooKeeper.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Java Pathfinder on Android Devices.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

Classification of Randomly Generated Test Cases.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Validating Software Tests, 2016

Precondition Coverage in Software Testing.

[BibT_eX]

[DOI]

Quentin Gros

Guillaume Rousset

Proceedings of the First International Workshop on Validating Software Tests, 2016

Guiding random test generation with program analysis.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

Runtime Monitoring for Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 16th International Conference, 2016

Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Greedy combinatorial test case generation using unsatisfiable cores.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Distance-Integrated Combinatorial Testing.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.

[BibT_eX]

[DOI]

Saurabh Gadia

Gedare Bloom

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Static analysis meets runtime verification (NII Shonan Meeting 2015-5).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2015

Preface.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Software Model Checking of UDP-based Distributed Applications.

[BibT_eX]

[DOI]

Int. J. Netw. Comput., 2015

Using Checkpointing and Virtualization for Fault Injection.

[BibT_eX]

[DOI]

Kuniyasu Suzaki

Int. J. Netw. Comput., 2015

Cardinality of UDP Transmission Outcomes.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Combinatorial Testing for Tree-Structured Test Models with Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

GRT: An Automated Test Generator Using Orchestrated Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

GRT: Program-Analysis-Guided Random Testing (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Model-Based Testing of Stateful APIs with Modbat.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Optimization of Combinatorial Testing by Incremental SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

GRT at the SBST 2015 Tool Competition.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Domain-Specific Languages with Scala.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2015

Priority Integration for Weighted Combinatorial Testing.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Modular Software Model Checking for Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

A Knoppix-based demonstration environment for JPF.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2014

Improving Automatic Centralization by Version Separation.

[BibT_eX]

[DOI]

Hiroyuki Sato

Inf. Media Technol., 2014

Project centralization based on graph coloring.

[BibT_eX]

[DOI]

Hiroyuki Sato

Proceedings of the Symposium on Applied Computing, 2014

Design of Prioritized N-Wise Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2014

Efficient testing of software product lines via centralization (short paper).

[BibT_eX]

[DOI]

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

Implementation of a Memory Disclosure Attack on Memory Deduplication of Virtual Machines.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Model-Based Testing for Verification Back-Ends.

[BibT_eX]

[DOI]

Martina Seidl

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Software model checking for distributed systems with selector-based, non-blocking communication.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Modbat: A Model-Based API Tester for Event-Driven Systems.

[BibT_eX]

[DOI]

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

With an Open Mind: How to Write Good Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Analyzing Distributed Java Applications by Automatic Centralization.

[BibT_eX]

[DOI]

Hiroyuki Sato

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Why do software packages conflict?

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

2011

Iterative delta debugging.

[BibT_eX]

[DOI]

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

Sources of Inter-package Conflicts in Debian

[BibT_eX]

[DOI]

CoRR, 2011

Model checking distributed systems by combining caching and process checkpointing.

[BibT_eX]

[DOI]

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

Memory deduplication as a threat to the guest OS.

[BibT_eX]

[DOI]

Proceedings of the Fourth European Workshop on System Security, 2011

2010

Moving from Logical Sharing of Guest OS to Physical Sharing of Deduplication on Virtual Machine.

[BibT_eX]

[DOI]

Proceedings of the 5th USENIX Workshop on Hot Topics in Security, 2010

Run-Time Verification of Networked Software.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

Model Checking of Concurrent Algorithms: From Java to C.

[BibT_eX]

[DOI]

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009

Introduction of Virtualization Technology to Multi-Process Model Checking.

[BibT_eX]

Proceedings of the First NASA Formal Methods Symposium, 2009

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Verifying networked programs using a model checker extension.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Separation of Transitions, Actions, and Exceptions in Model-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2009

2008

Efficient Model Checking of Networked Applications.

[BibT_eX]

[DOI]

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

Tools and Techniques for Model Checking Networked Programs.

[BibT_eX]

[DOI]

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.

[BibT_eX]

[DOI]

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

2007

Model Checking Networked Programs in the Presence of Transmission Failures.

[BibT_eX]

[DOI]

Christian Sommer

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Efficient Model Checking of Applications with Input/Output.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2007

Visualization of Concurrent Program Executions.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

AOP-based automated unit test classification of large benchmarks.

[BibT_eX]

[DOI]

Zhongwei Chen

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Accurate Centralization for Applying Model Checking on Networked Applications.

[BibT_eX]

[DOI]

Pierre-Loïc Garoche

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Advanced Unit Testing: How to Scale up a Unit Test Framework.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

Exhaustive Testing of Exception Handlers with Enforcer.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Enforcer - Efficient Failure Injection.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

2005

Combining static and dynamic analysis to find multi-threading faults beyond data races.

[BibT_eX]

[DOI]

PhD thesis, 2005

Combining test case generation and runtime verification.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Bytecode Semantics, 2005

Combined Static and Dynamic Analysis.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

2004

Applying Jlint to Space Exploration Software.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2004

JNuke: Efficient Dynamic Analysis for Java.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

High-level data races.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2003

Formal Methods Group ETH Zürich.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Experiments with Test Case Generation and Runtime Analysis.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2003

2002

Liveness Checking as Safety Checking.

[BibT_eX]

[DOI]

Viktor Schuppan

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

2001

Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs.

[BibT_eX]

[DOI]