15784 search results - page 2927 / 3157 » Mega Software Engineering |
172
click to vote
ISSRE
2006
IEEE
16 years 17 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
185
click to vote
ISSRE
2006
IEEE
16 years 17 days ago
2006
IEEE
Test suite reduction uses test requirement coverage to determine if the reduced test suite maintains the original suite’s requirement coverage. Based on observations from our pr...
174
click to vote
ISSRE
2006
IEEE
16 years 17 days ago
2006
IEEE
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
141
click to vote
SEW
2006
IEEE
16 years 17 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
155
click to vote
VL
2006
IEEE
16 years 17 days ago
2006
IEEE
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...