Sciweavers

150 search results - page 4 / 30
» Testing Concurrent Java Components
Sort
View
COMPSAC
2007
IEEE
13 years 11 months ago
Automated Testing EJB Components Based on Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
Liang Kong, Hong Zhu, Bin Zhou
SIGCSE
2010
ACM
158views Education» more  SIGCSE 2010»
14 years 6 days ago
Test-first Java concurrency for the classroom
Concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence of graphical user interfaces (GUIs). To prepare students...
Mathias Ricken, Robert Cartwright
LADS
2007
Springer
13 years 11 months ago
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
Alessandro Ricci, Mirko Viroli, Giulio Piancastell...
IFIP
2010
Springer
13 years 6 days ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
CAV
2009
Springer
171views Hardware» more  CAV 2009»
14 years 5 months ago
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik...