419 search results - page 27 / 84 » An Automated Approach for Identifying Potential Vulnerabilit... |
AMOST
2007
ACM
14 years 25 days ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
CEC
2007
IEEE
14 years 3 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
SPLC
2007
13 years 10 months ago
2007
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...
COR
2008
13 years 9 months ago
2008
In the past five years there has been a dramatic increase in work on Search Based Software Engineering (SBSE), an approach to software engineering in which search based optimisatio...
KBSE
1999
IEEE
14 years 1 months ago
1999
IEEE
There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is e...