12981 search results - page 336 / 2597 » Model Checking and Abstraction |
292
Voted
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
172
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
203
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
226
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
ions in Process Mining: A Taxonomy of Patterns R.P. Jagadeesh Chandra Bose1,2 and Wil M.P. van der Aalst1 1 Department of Mathematics and Computer Science, University of Technology...
188
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...