Sciweavers

383 search results - page 4 / 77
» Unit testing concurrent software
Sort
View
QSIC
2006
IEEE
14 years 3 months ago
A Test Data Generation Tool for Unit Testing of C Programs
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...
Zhongxing Xu, Jian Zhang
GECCO
2006
Springer
213views Optimization» more  GECCO 2006»
14 years 1 months ago
Evolutionary unit testing of object-oriented software using strongly-typed genetic programming
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...
Stefan Wappler, Joachim Wegener
EMSOFT
2006
Springer
14 years 1 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid
TSE
2011
214views more  TSE 2011»
13 years 4 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
ICSE
2007
IEEE-ACM
14 years 3 months ago
Testing Concurrent Java Components
Paul A. Strooper, Luke Wildman