388 search results - page 32 / 78 » Guiding random test generation with program analysis |
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...
ICPPW
2009
IEEE
14 years 3 months ago
2009
IEEE
—The increasing attention on global scheduling algorithms for identical multiprocessor platforms produced different, independently developed, schedulability tests. However, the e...
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...