Sciweavers

383 search results - page 43 / 77
» Unit testing concurrent software
Sort
View
115
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
Program representations for testing wireless sensor network applications
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
Nguyet T. M. Nguyen, Mary Lou Soffa
117
Voted
PLDI
2006
ACM
15 years 8 months ago
Effective static race detection for Java
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
Mayur Naik, Alex Aiken, John Whaley
139
Voted
VL
2000
IEEE
120views Visual Languages» more  VL 2000»
15 years 6 months ago
Visualizing the Synchronization of Java-Threads with UML
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
Katharina Mehner, Annika Wagner
126
Voted
CIC
2006
198views Communications» more  CIC 2006»
15 years 3 months ago
Design and Implementation of Desktop Video Conference System Based on Client-Server and P2P
- This paper describes the design and implementation of desktop video conference system using client-server and P2P(Peer to Peer). This systems is based on a client-server and P2P ...
Hyen Ki Kim, Jeng Neng Hwang
109
Voted
ICFEM
2009
Springer
15 years 8 months ago
Symbolic Query Exploration
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
Margus Veanes, Pavel Grigorenko, Peli de Halleux, ...