219 search results - page 25 / 44 » Assume-Guarantee Model Checking of Software: A Comparative C... |
CASES
2009
ACM
15 years 4 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
MSR
2009
ACM
15 years 4 months ago
2009
ACM
For popular software systems, the number of daily submitted bug reports is high. Triaging these incoming reports is a time consuming task. Part of the bug triage is the assignment...
96
Voted
TCBB
2011
14 years 4 months ago
2011
Stochastic models such as hidden Markov models or stochastic context free grammars can fail to return the correct, maximum likelihood solution in the case of semantic ambiguity. T...
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
117
click to vote
ESE
2006
14 years 9 months ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...