4930 search results - page 22 / 986 » Testing a Safety-Critical Application |
ITC
2003
IEEE
15 years 4 months ago
2003
IEEE
ITC
2003
IEEE
15 years 4 months ago
2003
IEEE
102
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
117
click to vote
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
102
click to vote
CISSE
2008
Springer
15 years 1 months ago
2008
Springer
Testing Web applications is still a challenging work which can greatly benefit from test automation techniques. In this paper, we focus on using ontologies as a means of test autom...