Sciweavers

285 search results - page 11 / 57
» Dynamic Symbolic Execution for Testing Distributed Objects
Sort
View
IPPS
2007
IEEE
15 years 6 months ago
Using Speed Diagrams for Symbolic Quality Management
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifa...
ISSTA
2006
ACM
15 years 5 months ago
Path-oriented random testing
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
Arnaud Gotlieb, Matthieu Petit
84
Voted
ETFA
2005
IEEE
15 years 5 months ago
Dynamic guarantee in component-based distributed real-time systems
This work describes the proposal of a set of mechanisms to be applied in distributed component-based systems to allow the development of real-time applications capable of offering...
Cássia Yuri Tatibana, Rômulo Silva de...
75
Voted
PTS
2003
115views Hardware» more  PTS 2003»
15 years 1 months ago
Realizing Distributed TTCN-3 Test Systems with TCI
Distributed test setups for efficient load, performance, scalability, interworking, and end-to-end tests are gaining importance for the assessment of distributed communicating syst...
Ina Schieferdecker, Theofanis Vassiliou-Gioles
72
Voted
JSS
2010
107views more  JSS 2010»
14 years 10 months ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
Kiran Lakhotia, Phil McMinn, Mark Harman