Sciweavers

5180 search results - page 229 / 1036
» Requirements Engineering
Sort
View
ECOOPWEXCEPTION
2000
Springer
15 years 9 months ago
Exception Safety: Concepts and Techniques
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require...
Bjarne Stroustrup
ESEM
2007
ACM
15 years 9 months ago
An Estimation Model for Test Execution Effort
It is important for test managers to be able to estimate the effort required to execute the test suites requested by development teams, as well to estimate its capacity for attend...
Eduardo Aranha, Paulo Borba
209
Voted
AADEBUG
2005
Springer
15 years 7 months ago
Backtracking and dynamic patching for free
We present a way to incorporate backtracking and dynamic patching into existing debuggers, without requiring any change to their source code, the compiler or the run-time environm...
Bjorn De Sutter, Bruno De Bus, Michiel Ronsse, Koe...
ICSE
2009
IEEE-ACM
15 years 3 months ago
Slede: Framework for automatic verification of sensor network security protocol implementations
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
Youssef Hanna, Hridesh Rajan
COMPSAC
2005
IEEE
15 years 11 months ago
Detecting Intrusions Specified in a Software Specification Language
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
Mohammad Feroz Raihan, Mohammad Zulkernine