Sciweavers

1682 search results - page 24 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
ICST
2009
IEEE
15 years 10 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser
COMPSAC
2003
IEEE
15 years 8 months ago
Data-Flow-Based Unit Testing of Aspect-Oriented Programs
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
Jianjun Zhao
COR
2008
107views more  COR 2008»
15 years 3 months ago
Evolutionary functional testing
Evolutionary Testing is a promising approach for automating the testing of software-based systems. A number of papers have been published in the last years which have successfully...
Oliver Bühler, Joachim Wegener
92
Voted
SAC
2009
ACM
15 years 10 months ago
Specifying and checking protocols of multithreaded classes
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
Clément Hurlin
SAC
2003
ACM
15 years 8 months ago
Applying Information Visualization Techniques to Capture and Explore the Course of Cognitive Behavioral Therapy
Tracking and especially comparing psychotherapeutic processes is a complex task involving a large number of individual and complexly related parameters. Therefore, descriptive and...
Monika Lanzenberger, Silvia Miksch, Susanne Ohmann...