A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs
2015
Journal of Robotics, Networking and Artificial Life (JRNAL)
Preserved Fulltext
In order to improve the efficiency of testing Java multi-threaded programs, this research proposes a testing method to detect order violation in them using similarity of interleaving. ...
The proposed method improves the efficiency of testing by executing interleaving which can test the places where lead the order violation easily in source codes and by reducing interleaving which is similar ...
In order to improve the efficiency of testing for Java multi-threaded programs, this research proposes a testing method to detect order violation in them using similarity of interleaving. ...
doi:10.2991/jrnal.2015.1.4.10
fatcat:xsyongxdnjfzxfjzz5loga2pra
Unit Testing Concurrent Java Programs
2013
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
They are not suitable for unit testing multithreaded programs. ...
Conventional unit-testing practices focus on testing small units of programs sequentially and are very likely to miss concurrent bugs such as race conditions, deadlocks and memory inconsistencies even ...
PROPOSED APPROACH
JPF and TestNG Integration This approach proposes a concurrent unit testing framework which combines unit testing of TestNG and model checking of a framework called Java Path Finder ...
doi:10.5120/11435-6798
fatcat:4lte3b3p3nfy5g7633xwhd7zxm
A Lightweight and Portable Approach to Making Concurrent Failures Reproducible
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We implement the ConCrash approach in a prototype tool for Java and experimented on a number of multi-threaded Java benchmarks. ...
Such bugs are often hard to reproduce because they typically happen under very specific interleaving of the executing threads. ...
We thank anonymous reviewers for useful comments. We also thank Shan Lu and STAP group members for their valuable discussions. ...
doi:10.1007/978-3-642-12029-9_23
fatcat:3qfxc2rwnbaqraumrnlxdfespa
Thread algebra for strategic interleaving
2007
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We take a thread as the behavior of a sequential deterministic program under execution and multi-threading as the form of concurrency provided by contemporary programming languages such as Java and C#. ...
We use deadlock freedom as an example to show that there are properties of multi-threaded programs that depend on the interleaving strategy used. ...
Acknowledgements We thank Alban Ponse and Mark van der Zwaag from the University of Amsterdam, Programming Research Group, for pointing out a shortcoming of the axioms for cyclic interleaving with blocked ...
doi:10.1007/s00165-007-0024-9
fatcat:ujj2swq7xvgexcwqlrlcb65ivu
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
We have implemented the technique in Java PathFinder and performed a number of experiments on Purdue Collision Detector, which is a non-trivial multi-threaded Java program. ...
and use a threading model based on limited preemption. ...
This work was partially supported by the Czech Academy of Sciences project 1ET400300504 and by the Grant Agency of the Czech Republic project 201/08/0266. ...
doi:10.1007/978-3-642-04570-7_10
fatcat:frizevkkdfforokcs2avqbcdqu
An efficient method for detecting concurrency errors in object-oriented programs
2012
Science China Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements The work presented in this paper was supported in part by National Natural Science Foundation of China (Grant Nos. 90818018, 9111800). ...
When a class instance is used in a multi-threaded program, the class member variables can be accessed by different threads at the same time. ...
After generating the test case source code, we used method "compile" to translate the Java file to a Java class byte code file. ...
doi:10.1007/s11432-012-4751-z
fatcat:2zcbgvaflbcvbcanbdrjsqbbbi
A Novel Test Coverage Metric for Concurrently-Accessed Software Components
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose a novel, practical coverage metric called "location pairs" (LP) for concurrently-accessed software components. ...
We describe a software tool for measuring LP coverage and outline an inexpensive application of predicate abstraction and model checking for ruling out infeasible coverage targets. ...
[11] defines a hierarchy of structural coverage metrics for testing multi-threaded programs. ...
doi:10.1007/11759744_5
fatcat:nevokadxcvdffeukxx2fcc7rv4
Extraction of component-environment interaction model using state space traversal
2010
Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
We present a technique for automated extraction of models of component-environment interaction from multi-threaded software systems implemented in Java, which is based on state space traversal. ...
The model of C-E interaction is then used as an input to tools that implement the methods. ...
CONCLUSION We proposed a technique for automated extraction of models of component-environment interaction from multi-threaded Java programs, which is based on state space traversal. ...
doi:10.1145/1774088.1774552
dblp:conf/sac/ParizekY10
fatcat:h6ytuhx765aezopaai7seezhta
Approximating happens-before order: interplay between static analysis and state space traversal
2014
Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Techniques and tools for verification of multi-threaded programs must cope with the huge number of possible thread interleavings. ...
Tools based on systematic exploration of a program state space employ partial order reduction to avoid redundant thread interleavings. ...
INTRODUCTION Many tools for testing and verification of multi-threaded programs are based on systematic traversal of a program state space. ...
doi:10.1145/2632362.2632365
dblp:conf/spin/ParizekJ14
fatcat:b3zt67sotbhybghi2sisd2yyv4
Using Contracts to Guide the Search-Based Verification of Concurrent Programs
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Search-based techniques can be used to identify whether a concurrent program exhibits faults such as race conditions, deadlocks, and starvation: a fitness function is used to guide the search to a region ...
We sketch an example of how contracts might be used in this way, and outline our plans for investigating this verification approach. ...
to a metric similar in nature to the branch distance [9] used in other forms of search-based testing. ...
doi:10.1007/978-3-642-39742-4_22
fatcat:3hioidtbzfcnxh7i54e6f7246i
Concurrent Defects and Test Coverage Criteria
2016
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The processes usually work together by conversing using variables or message passing. So, testing a concurrent program is complex for its non determinism behavior. ...
A number of methods such as locking, serialization, time stamp etc. are proposed to deal with non deterministic behavior. ...
The testing methods include the process of finding bugs. A software testing criterion is a word to be fulfilled by a set of test cases and can be used as a rule for the generation of test data. ...
doi:10.17706/jsw.11.10.994-1007
fatcat:gi3btbjua5ahpjpsjgkyigpl5m
A method for verifying concurrent Java components based on an analysis of concurrency failures
2007
Concurrency and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Finally, we propose to combine these tools and techniques into a method for verifying concurrent Java components. ...
As a starting point for determining the concurrency failures in Java components, a petri-net model of Java concurrency is used. ...
A method for verifying concurrent Java components We now propose a 9-step method for verifying multi-threaded components that can be used by software developers and testers in industry without the need ...
doi:10.1002/cpe.1063
fatcat:km6vlhnsnrggpcpipepj7hf46e
SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code
2017
IEICE transactions on information and systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
However, for concurrent programs, test cases alone are typically insufficient to reproduce buggy behaviours, due to the nondeterminism of multi-threaded executions. ...
In this paper, we propose a novel approach, called SPDebugger, that provides finer-grained thread controlling over test cases, programs under test, and even third party library code, to reproduce the predesigned ...
Acknowledgements We would like to thank the anonymous reviewers for their constructive comments. ...
doi:10.1587/transinf.2016edp7388
fatcat:txf5hrf7wfakrhw6ouqhf5fqzi
JAIP-MP: A Four-Core Java Application Processor for Embedded Systems
[chapter]
2016
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
For each test programs, the test scores roughly stand for the number of iterations each test program can execute per seconds by all threads. ...
Single-core Multithread Performance Evaluation To evaluate the multi-threading performance of the proposed JAIP, we used the multithreading benchmark programs from the JemBench suites [23] . ...
Table 3 and Table 4 show the synchronization overhead of the proposed architecture under the Matrix test. ...
doi:10.1007/978-3-319-46097-0_9
fatcat:be27yrq5tjctbfo6czcwetrfg4
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing
2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We have implemented our technique as a prototype system ASSETFUZZER and applied it to a number of subject programs for evaluating concurrency defect analysis techniques. ...
Concurrency bugs are notoriously difficult to detect because there can be vast combinations of interleavings among concurrent threads, yet only a small fraction can reveal them. ...
However, the number of possible interleavings for a multithreaded program is often myriad. Researchers have proposed various criteria for analyzing concurrency defects. ...
doi:10.1145/1806799.1806836
dblp:conf/icse/LaiCC10
fatcat:hxzjwcg3irbwpnwbgomdn3sx3e
« Previous
Showing results 1 — 15 out of 2,355 results