2127 search results - page 296 / 426 » Software Automation |
121
Voted
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
120
Voted
MAM
2006
15 years 2 months ago
2006
The increasingly complicated DSP processors and applications with strict timing and code size constraints require design automation tools to consider multiple optimizations such a...
122
Voted
SEFM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
114
Voted
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Described are new approaches for evaluating computer program representations for use in automated search methodologies such as the evolutionary design of software. Previously, prog...
88
Voted
RE
2005
Springer
15 years 8 months ago
2005
Springer
Our group has taken a clinical approach to doing requirements engineering for a specific domain: delivering email tools to the cognitively impaired population. The clinical view s...