185 search results - page 17 / 37 » Generating test cases for specification mining |
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
109
click to vote
FAC
2008
14 years 11 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
120
click to vote
HASE
2008
IEEE
14 years 11 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
101
click to vote
JOT
2007
14 years 11 months ago
2007
In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed in...
CHI
2009
ACM
15 years 12 months ago
2009
ACM
DASHlink is a public NASA research collaboration website. Web 2.0 style content generation and social software technologies along with a communitymoderated posting policy make it ...