11 search results - page 1 / 3 » Tool supported detection and judgment of nonconformance in p... |
ESEM
2009
ACM
14 years 5 months ago
2009
ACM
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
CAISE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Recently, several large companies have been involved in financial scandals related to mismanagement, resulting in financial damages for their stockholders. In response, c...
CSCWD
2008
Springer
14 years 24 days ago
2008
Springer
: The Software Engineering community has been trying to get fast and accurate software estimations for many years. Most of the proposed methods require historical information and/o...
EUROPAR
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...