Sciweavers

1860 search results - page 70 / 372
» Automatic Generation of Search Engines
Sort
View
115
Voted
SEFM
2003
IEEE
15 years 8 months ago
Architecting Specifications for Test Case Generation
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
Richard O. Sinnott
ICST
2009
IEEE
15 years 10 months ago
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swi...
101
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
Test case generator for GUITAR
As Graphical User Interfaces become more popular, the need for GUI testing tools becomes greater. However, many current test generation techniques require proprietary tools and ca...
Daniel R. Hackner, Atif M. Memon
SEW
2007
IEEE
15 years 9 months ago
A Generative Approach to Building a Framework for Hard Real-Time Applications
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
Irfan Hamid, Elie Najm, Jérôme Hugues
129
Voted
QSIC
2006
IEEE
15 years 9 months ago
A Test Data Generation Tool for Unit Testing of C Programs
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...
Zhongxing Xu, Jian Zhang