98 search results - page 6 / 20 » Testing real-time embedded software using UPPAAL-TRON: an in... |
ESE
2008
14 years 9 months ago
2008
Test-driven development (TDD) is a software development practice that has been used sporadically for decades. With this practice, a software engineer cycles minute-by-minute betwee...
B
1998
Springer
15 years 1 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
MSR
2010
ACM
14 years 11 months ago
2010
ACM
-- A bug-tracking system such as Bugzilla contains bug reports (BRs) collected from various sources such as development teams, testing teams, and end users. When bug reporters subm...
FATES
2003
Springer
15 years 2 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
CODES
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents an RTOS-centric hardwareisoftware cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is tha...