1689 search results - page 307 / 338 » Empirical Methodologies in Software Engineering |
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, th...
ICSM
2009
IEEE
15 years 6 months ago
2009
IEEE
Modeling the navigation structure of a dynamic web application is a challenging task because of the presence of dynamic pages. In particular, there are two problems to be dealt wi...
123
click to vote
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
104
click to vote
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
UIST
2009
ACM
15 years 5 months ago
2009
ACM
Because functional near-infrared spectroscopy (fNIRS) eases many of the restrictions of other brain sensors, it has potential to open up new possibilities for HCI research. From o...