355 search results - page 22 / 71 » Validation and Test Generation for Object-Oriented Distribut... |
ECOOPW
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
74
Voted
ICSE
2011
IEEE-ACM
14 years 27 days ago
2011
IEEE-ACM
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...
107
click to vote
ISSTA
2012
ACM
12 years 12 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
108
click to vote
WSC
2000
14 years 10 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...