285 search results - page 8 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
TSE
2010
14 years 10 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
101
click to vote
SIGSOFT
2009
ACM
15 years 6 months ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
150
click to vote
ISORC
2011
IEEE
14 years 3 months ago
2011
IEEE
—Static cache analysis for data allocated on the heap is practically impossible for standard data caches. We propose a distinct object cache for heap allocated data. The cache is...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
SIGSOFT
2007
ACM
16 years 11 days ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...