4930 search results - page 22 / 986 » Testing a Safety-Critical Application |
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
117
Voted
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
144
click to vote
POPL
2012
ACM
13 years 11 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....
163
click to vote
FMICS
2009
Springer
15 years 10 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 + ...
146
Voted
CISSE
2008
Springer
15 years 5 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...