Result 1 to 14 of 14 total
A case study on the use of genetic algorithms to generate test cases for temporal systems. (English)
Cabestany, Joan (ed.) et al., Advances in computational intelligence. 11th international work-conference on artificial neural networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8‒10, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21497-4/pbk). Lecture Notes in Computer Science 6692, 396-403 (2011).
1
A case study on the use of genetic algorithms to generate test cases for temporal systems (English)
IWANN (2), 396-403 (2011).
2
Estimating the feasibility of transition paths in extended finite state machines. (English)
Autom. Softw. Eng. 17, No. 1, 33-56 (2010).
3
Estimating the feasibility of transition paths in extended finite state machines (English)
Autom. Softw. Eng. 17, No. 1, 33-56 (2010).
4
Aiding test case generation in temporally constrained state based systems using genetic algorithms. (English)
Cabestany, Joan (ed.) et al., Bio-inspired systems: Computational and ambient intelligence. 10th international work-conference on artificial neural networks, IWANN 2009, Salamanca, Spain, June 10‒12, 2009. Proceedings. Part I. Berlin: Springer (ISBN 978-3-642-02477-1/pbk). Lecture Notes in Computer Science 5517, 327-334 (2009).
5
Aiding test case generation in temporally constrained state based systems using genetic algorithms (English)
IWANN (1), 327-334 (2009).
6
Heuristics for fault diagnosis when testing from finite state machines. (English)
Softw. Test., Verif. Reliab. 17, No. 1, 41-57 (2007).
7
Automated unique input output sequence generation for conformance testing of FSMs. (English)
Comput. J. 49, No. 3, 331-344 (2006).
8
Automated unique input output sequence generation for conformance testing of fsms (English)
Comput. J. 49, No. 3, 331-344 (2006).
9
Improving test quality using robust unique input/output circuit sequences (UIOCs) (English)
Information & Software Technology 48, No. 8, 696-707 (2006).
10
Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms (English)
GECCO, 1081-1082 (2005).
11
Computing unique input/output sequences using genetic algorithms. (English)
Petrenko, Alexandre (ed.) et al., Formal approaches to software testing. Third international workshop on formal approaches to testing of software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised papers. Berlin: Springer (ISBN 3-540-20894-1/pbk). Lect. Notes Comput. Sci. 2931, 164-177 (2004).
12
Input sequence generation for testing of communicating finite state machines (CFSMs) (English)
GECCO (2), 1429-1430 (2004).
13
Computing unique input/output sequences using genetic algorithms (English)
FATES, 164-177 (2003).
14
Result 1 to 14 of 14 total
Start
Contact
Print
General Help
