2302 search results - page 9 / 461 » Testing as Abstraction |
123
click to vote
ENTCS
1998
15 years 1 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
126
click to vote
ROBIO
2006
IEEE
15 years 8 months ago
2006
IEEE
—A moth behavior-inspired strategy, including tracing a chemical plume to its source and declaring the source location, was tested in near shore ocean conditions via a REMUS unde...
118
Voted
UML
2001
Springer
15 years 6 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
139
Voted
FEDCSIS
2011
14 years 1 months ago
2011
Abstract—The Future Internet will be a complex interconnection of services, applications, content and media, on which our society will become increasingly dependent. Time to mark...
105
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...