Sciweavers

1776 search results - page 61 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
ICSE
2007
IEEE-ACM
16 years 1 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
EOR
2006
76views more  EOR 2006»
15 years 1 months ago
Regional development assessment: A structural equation approach
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
Dario Cziráky, Joze Sambt, Joze Rovan, Jaks...
QSIC
2005
IEEE
15 years 7 months ago
Interactive Visualisation and Testing of Jini Services
Dynamic service-oriented architectures aim to provide more flexible and robust systems that are able to handle change over time. Their dynamic nature however, provides extra chall...
Bruce Quig, Michael Kölling, John Rosenberg, ...
ESEM
2009
ACM
14 years 11 months ago
Productivity trends in incremental and iterative software development
In an investigating study to trace the productivity changes of a commercial software project, which uses incremental and iterative development model, we've found evidence tha...
Thomas Tan, Qi Li, Barry W. Boehm, Ye Yang, Mei He...
AOSD
2006
ACM
15 years 7 months ago
A framework and tool supports for generating test inputs of AspectJ programs
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
Tao Xie, Jianjun Zhao