Sciweavers

3547 search results - page 395 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
SEAA
2008
IEEE
16 years 1 months ago
Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
Antonia Bertolino, Guglielmo De Angelis, Francesca...
WCRE
2006
IEEE
16 years 24 days ago
Monitoring Requirements Coverage using Reconstructed Views: An Industrial Case Study
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
Marco Lormans, Hans-Gerhard Groß, Arie van D...
SCAM
2005
IEEE
16 years 11 days ago
Declassification: Transforming Java Programs to Remove Intermediate Classes
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...
Bernadette Power, Geoff W. Hamilton
WORDS
2005
IEEE
16 years 11 days ago
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul
WETICE
2003
IEEE
16 years 1 days ago
A Network Worm Vaccine Architecture
The ability of worms to spread at rates that effectively preclude human-directed reaction has elevated them to a first-class security threat to distributed systems. We present th...
Stelios Sidiroglou, Angelos D. Keromytis