2404 search results - page 273 / 481 » Postmodernism and Control Engineering |
155
click to vote
SCAM
2008
IEEE
16 years 16 days ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
201
click to vote
SMC
2007
IEEE
16 years 13 days ago
2007
IEEE
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
153
click to vote
ISSRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
156
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...
180
click to vote
PASTE
1999
ACM
15 years 10 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...