Sciweavers

9 search results - page 1 / 2
» Contract-Driven Testing of JavaScript Code
Sort
View
TOOLS
2010
IEEE
13 years 9 months ago
Contract-Driven Testing of JavaScript Code
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
Phillip Heidegger, Peter Thiemann
TAICPART
2010
IEEE
173views Education» more  TAICPART 2010»
13 years 3 months ago
DOM Transactions for Testing JavaScript
Abstract. Unit testing in the presence of side eects requires the construction of a suitable test xture before each test run. We consider the problem of providing test xtures fo...
Phillip Heidegger, Annette Bieniusa, Peter Thieman...
SP
2010
IEEE
222views Security Privacy» more  SP 2010»
13 years 8 months ago
A Symbolic Execution Framework for JavaScript
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng...
FASE
2007
Springer
13 years 10 months ago
Contract-Driven Development
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
Bertrand Meyer
ESEM
2008
ACM
13 years 6 months ago
An empirical model to predict security vulnerabilities using code complexity metrics
Complexity is often hypothesized to be the enemy of software security. If this hypothesis is true, complexity metrics may be used to predict the locale of security problems and ca...
Yonghee Shin, Laurie Williams