8398 search results - page 176 / 1680 » Optimal Software Testing |
168
click to vote
ACMSE
2007
ACM
15 years 10 months ago
2007
ACM
Testing is an essential but often under-utilized area of software engineering. A variety of software testing techniques have been developed to effectively identify bugs in source ...
168
Voted
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
166
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
182
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
156
Voted
PRDC
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...