10715 search results - page 26 / 2143 » From Tests to Proofs |
ECBS
2010
IEEE
14 years 1 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
APSEC
1998
IEEE
14 years 5 days ago
1998
IEEE
This paper describes an automated approach to generating test cases for an object-oriented class. The approach is derived from state-based testing methods and refers to a state ma...
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Many approaches exist to decide the order in which classes should be integrated during (integration) testing. Most of them, based on an analysis of class dependencies (for instanc...
TAICPART
2010
IEEE
13 years 6 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
SIGSOFT
2006
ACM
14 years 1 months ago
2006
ACM
Unit test cases are focused and efļ¬cient. System tests are effective at exercising complex usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests. T...