279 search results - page 18 / 56 » Testing for Refinement in CSP |
134
Voted
TSE
2010
14 years 9 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
141
Voted
TSE
2011
14 years 9 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
101
Voted
FUIN
2007
15 years 2 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
133
Voted
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
147
Voted
BMEI
2009
IEEE
15 years 3 months ago
2009
IEEE
Non-stationarity is often found in session-to-session transfers of Brain Computer Interfaces (BCIs). To cope with the problem, a framework based on Common Spatial Patterns (CSP), ...