Sciweavers

2419 search results - page 137 / 484
» A Formal Approach to Software Testing
Sort
View
ICSM
2009
IEEE
15 years 10 months ago
Automated performance analysis of load tests
The goal of a load test is to uncover functional and performance problems of a system under load. Performance problems refer to the situations where a system suffers from unexpect...
Zhen Ming Jiang, Ahmed E. Hassan, Gilbert Hamann, ...
121
Voted
APSEC
2010
IEEE
14 years 10 months ago
Testing Inter-layer and Inter-task Interactions in RTES Applications
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel, T...
COMPSAC
2009
IEEE
15 years 10 months ago
Penetration Testing for Spam Filters
Despite all the advances on techniques to block spam e-mail messages we still receive them on a frequent basis. This is due mainly to the ability of the spammers to modify the mes...
Yugesh Madhavan, João W. Cangussu, Ram Dant...
114
Voted
ICSOC
2005
Springer
15 years 9 months ago
Using Test Cases as Contract to Ensure Service Compliance Across Releases
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
Marcello Bruno, Gerardo Canfora, Massimiliano Di P...
113
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
GUI-Based Testing of Boundary Overflow Vulnerability
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
Tugkan Tuglular, Can A. Muftuoglu, Özgür...