After more than a decade of research in information technology-enabled business process reengineering (BPR), no clear theory explains the link between information technology (IT) ...
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...
Rakesh Shukla, Paul A. Strooper, David A. Carringt...
Background: A detailed understanding of an RNA's correct secondary and tertiary structure is crucial to understanding its function and mechanism in the cell. Free energy mini...
Kishore J. Doshi, Jamie J. Cannone, Christian W. C...
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...