Sciweavers

713 search results - page 62 / 143
» Formalization, Testing and Execution of a Use Case Diagram
Sort
View
LOGCOM
2010
154views more  LOGCOM 2010»
14 years 6 months ago
Collaborative Runtime Verification with Tracematches
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondre...
CASCON
2006
118views Education» more  CASCON 2006»
15 years 1 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
ISCA
2009
IEEE
137views Hardware» more  ISCA 2009»
15 years 6 months ago
A case for an interleaving constrained shared-memory multi-processor
Shared-memory multi-threaded programming is inherently more difficult than single-threaded programming. The main source of complexity is that, the threads of an application can in...
Jie Yu, Satish Narayanasamy
ICCBR
2010
Springer
15 years 3 months ago
Case-Based Plan Diversity
The concept of diversity was successfully introduced for recommender-systems. By displaying results that are not only similar to a target problem but also diverse among themselves,...
Alexandra Coman, Héctor Muñoz-Avila
SIGSOFT
2005
ACM
16 years 17 days ago
Online testing with model programs
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
Margus Veanes, Colin Campbell, Wolfram Schulte, Ni...