67 search results - page 1 / 14 » Introducing unit testing with BlueJ |
ITICSE
2003
ACM
15 years 2 months ago
2003
ACM
XPU
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
105
click to vote
CAV
2006
Springer
15 years 1 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...