2853 search results - page 393 / 571 » A platform for software engineering research |
144
Voted
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
132
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
135
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
162
Voted
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
Identifying and fixing defects is a crucial and expensive part of the software lifecycle. Measuring the quality of bug-fixing patches is a difficult task that affects both func...
122
Voted
BCSHCI
2007
15 years 5 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...