840 search results - page 119 / 168 » Test suite oscillations |
81
Voted
ICSE
2007
IEEE-ACM
16 years 18 days ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
ICCAD
2008
IEEE
15 years 9 months ago
2008
IEEE
— Three-dimensional die stacking integration provides the ability to stack multiple layers of processed silicon with a large number of vertical interconnects. Through Silicon Via...
105
Voted
TEI
2010
ACM
15 years 7 months ago
2010
ACM
The ChainMail system is a scalable electronic sensate skin that is designed as a dense sensor network. ChainMail is built from small (1”x1”) rigid circuit boards attached to t...
111
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
This paper1 provides a motivation for the application of search based optimization to Software Engineering, an area that has come to be known as Search Based Software Engineering (...
107
click to vote
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...