353 search results - page 21 / 71 » TRICS: A Testing Tool for C |
FATES
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
CPHYSICS
2006
13 years 7 months ago
2006
This article introduces a tool for data fitting that is based on genetic programming and especially on the grammatical evolution technique. The user needs to input a series of poi...
TOOLS
1999
IEEE
13 years 12 months ago
1999
IEEE
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
DAC
1997
ACM
13 years 12 months ago
1997
ACM
An experimental set of tools that generate instruction set simulators, assemblers, and disassemblers from a single description was developed to test if retargetable development to...
SPLST
2003
13 years 9 months ago
2003
To date, there are surprisingly few collaborative applications that exploit the accessibility of the Internet. The main reason behind this is that it is rather difficult and time c...