Search Sciweavers | Sciweavers

383 search results - page 2 / 77

» Unit testing concurrent software

click to vote

FATES
2005
Springer

94views Software Engineering» more FATES 2005»

Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach

14 years 29 days ago

Download www.eecs.wsu.edu

The global testing problem studied in this paper is to seek a deﬁnite answer to whether a system of concurrent black-boxes has an observable behavior in a given ﬁnite (but cou...

Gaoyan Xie, Zhe Dang

claim paper

Read More »

click to vote

XPU
2007
Springer

80views Software Engineering» more XPU 2007»

EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors

14 years 1 months ago

Download www.fernuni-hagen.de

Philipp Bouillon, Jens Krinke, Nils Meyer, Friedri...

claim paper

Read More »

click to vote

CAV
2006
Springer

209views Hardware» more CAV 2006»

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools

13 years 11 months ago

Download osl.cs.uiuc.edu

CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...

Koushik Sen, Gul Agha

claim paper

Read More »

click to vote

VMCAI
2009
Springer

145views Software Engineering» more VMCAI 2009»

Finding Concurrency-Related Bugs Using Random Isolation

14 years 2 months ago

Download www.cs.wisc.edu

This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...

Nicholas Kidd, Thomas W. Reps, Julian Dolby, Manda...

claim paper

Read More »

click to vote

CBSE
2009
Springer

117views Software Engineering» more CBSE 2009»

Unit Testing of Software Components with Inter-component Dependencies

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers