7103 search results - page 404 / 1421 » Components and Generative Programming |
185
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
159
click to vote
ISSTA
2006
ACM
16 years 22 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
189
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
138
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
The subtitling of broadcast news programs are starting to become a very interesting application due to the technological advances in Automatic Speech Recognition and associated te...
164
click to vote
APLAS
2004
ACM
16 years 6 days ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...