Suchergebnisse - Java PathFinder 2*

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks von Ngui, J., Strooper, P., Wildman, L., Wojcicki, M.

“… In this paper, we evaluate the cost-effectiveness of the Java PathFinder 2 (JPF 2) model checker for the detection of deadlocks in the context of the TestCon method …”
Volltext

Supporting Domain-Specific Programming in Web 2.0: A Case Study of Smart Devices von Ahmadi, Navid, Lelli, Francesco, Jazayeri, Mehdi

“… Web 2.0 communities emerge regularly with the growing need for domain-specific programming over Web APIs …”
Volltext

A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development von Liwei Shen, Xin Peng, Wenyun Zhao

“… Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used …”
Volltext

EdSketch: execution-driven sketching for Java von Hua, Jinru, Zhang, Yushan, Zhang, Yuqun, Khurshid, Sarfraz

“… Sketching is a synthesis approach that allows users to provide high-level insights into a synthesis problem and let synthesis tools complete low-level details …”
Volltext

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis von Păsăreanu, Corina S., Visser, Willem, Bushnell, David, Geldenhuys, Jaco, Mehlitz, Peter, Rungta, Neha

“… Symbolic PathFinder (SPF) is a software analysis tool that combines symbolic execution with model checking for automated test case generation and error detection in Java bytecode programs …”
Volltext

Java Pathfinder at SV-COMP 2019 (Competition Contribution)

Volltext

Reliability analysis in Symbolic PathFinder von Filieri, Antonio, Pasareanu, Corina S., Visser, Willem

“… relevant usage scenarios. Under the assumption of finite and countable input domains, we provide an efficient implementation based on Symbolic PathFinder that supports the analysis of sequential and parallel programs …”
Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held As Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III von Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice, Steffen, Bernhard

“… This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools …”
Volltext

The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder von A. Dennis, Louise

Volltext

State extensions for java pathfinder von Gvero, T., Gligoric, M., Lauterburg, S., d'Amorim, M., Marinov, D., Khurshid, S.

“… Java PathFinder (JPF) is an explicit-state model checker for Java programs. JPF implements a backtrackable Java Virtual Machine (JVM …”
Volltext

Radiometric Signatures of Gold Mineralization Zone in Pongkor, West Java, Indonesia: A Baseline for Radiometric Mapping Application on Low-Sulfidation Epithermal Deposit von Syaeful, Heri, Ciputra, Roni Cahya, Adimedha, Tyto Baskara, Sumaryanto, Agus, Sukadana, I Gde, Indrastomo, Frederikus Dian, Pratiwi, Fadiah, Sucipta, Sucipta, Pratama, Hendra Adhi, Mustika, Deni, Widana, Kurnia Setiawan, Widodo, Susilo, Burhannudinnur, Muhammad, Syafri, Ildrem, Sutopo, Bronto

“… Radiometric mapping could play a prominent role in locating the host rock or alteration that leads to gold mineralization. Nevertheless, in low-sulfidation …”
Volltext

Selected dynamic issues in software model checking von Nguyen, Viet Yen, Ruys, Theo C.

“… One of the most prominent approaches is the virtual machine -based approach, pioneered by Java PathFinder ( jpf …”
Volltext

A hands-on Java Pathfinder tutorial von Mehlitz, Peter, Rungta, Neha, Visser, Willem

“… Java Pathfinder (JPF) is an open source analysis system that automatically verifies Java programs …”
Volltext

Trust Your Model - Verifying Aerospace System Models with Java Pathfinder von Mehlitz, P.C.

“… Model Driven Development (MDD) is rapidly becoming a mainstream practice for the development of complex aerospace systems. UML has emerged as the de facto …”
Volltext

Model checking agent programming languages von Dennis, Louise A., Fisher, Michael, Webster, Matthew P., Bordini, Rafael H.

“… In this paper we describe a verification system for multi-agent programs. This is the first comprehensive approach to the verification of programs developed …”
Volltext

Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies von Péter, Bertalan Zoltán, Ádám, Zsófia, Micskei, Zoltán, Kocsis, Imre

“… This is especially true in the case of the extensively used Hyperledger Fabric (HLF) platform, where smart contracts are written in general-purpose languages (Java, among others …”
Volltext

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support von Rosner, Nicolas, Geldenhuys, Jaco, Aguirre, Nazareno M., Visser, Willem, Frias, Marcelo F.

“… Lazy Initialization (LI) allows symbolic execution to effectively deal with heap-allocated data structures, thanks to a significant reduction in spurious and …”
Volltext

Experience Report: Verifying MPI Java Programs Using Software Model Checking von Ayub, Muhammad Sohaib, Rehman, Waqas Ur, Siddiqui, Junaid Haroon

“… MPJ Express is an open source Java implementation of the MPI standard. Model …”
Volltext

Shadow Symbolic Execution with Java PathFinder von Noller, Yannic, Hoang Lam Nguyen, Tang, Minxing, Kehrer, Timo

“… execution guided by concrete values to explore the changed behavior. In this work, we apply the idea of shadow symbolic execution to Java programs and, hence, provide an extension of the Java PathFinder (JPF …”
Volltext

Test generation through programming in UDITA von Gligoric, Milos, Gvero, Tihomir, Jagannath, Vilas, Khurshid, Sarfraz, Kuncak, Viktor, Marinov, Darko

“… We implemented our approach and incorporated it into the official, publicly available repository of Java PathFinder (JPF …”
Volltext