1655 search results - page 215 / 331 » Visual tool for generative programming |
115
Voted
CONIELECOMP
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
142
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Automated protein function prediction methods are needed to keep pace with high-throughput sequencing. With the existence of many programs and databases for inferring ...
134
Voted
NDSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
137
click to vote
SPIN
2010
Springer
15 years 26 days ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
117
Voted
MTV
2005
IEEE
15 years 8 months ago
2005
IEEE
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...