Sciweavers

4079 search results - page 407 / 816
» Differential Testing for Software
Sort
View
180
Voted
ECLIPSE
2005
ACM
15 years 8 months ago
Navigating error recovery code in Java applications
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is of...
Chen Fu, Barbara G. Ryder
EUROMICRO
2007
IEEE
15 years 8 months ago
Analysis of BPEL Data Dependencies
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
Yongyan Zheng, Jiong Zhou, Paul Krause
CC
2008
Springer
131views System Software» more  CC 2008»
15 years 6 months ago
Exposure-Resilient Extractors and the Derandomization of Probabilistic Sublinear Time
There exists a positive constant < 1 such that for any function T(n) n and for any problem L BPTIME(T(n)), there exists a deterministic algorithm running in poly(T(n)) time w...
Marius Zimand
SAC
2010
ACM
16 years 1 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev
ISPW
2007
IEEE
16 years 13 days ago
Comparative Experiences with Electronic Process Guide Generator Tools
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
Monvorath Phongpaibul, Supannika Koolmanojwong, Al...