4299 search results - page 393 / 860 » Concurrent Test Generation |
123
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
154
Voted
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
The performance of a database system depends strongly on the layout of database objects, such as indexes or tables, onto the underlying storage devices. A good layout will both ba...
320
click to vote
SPIN
2012
Springer
13 years 7 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
115
click to vote
ICSM
2007
IEEE
15 years 11 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
127
click to vote
ISPD
2000
ACM
15 years 9 months ago
2000
ACM
Recently, a deterministic algorithm based on the O-tree representation has been proposed. This method generates excellent layout results on MCNC test cases with O(n3 ) complexity,...