Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs
autor                    
                    
                
vastutusandmed                    
                    
Danel Ahman, Marko Kääramees
                            
                    
allikas                    
                    
EPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 2012
                            
                    
ilmumiskoht                    
                    
[Sydney]
                            
                    
kirjastus/väljaandja                    
                    
                
ilmumisaasta                    
                    
                
leheküljed                    
                    
p. 115-129 : ill
                            
                    
märksõna                    
                    
heuristiline programmeerimine
                            
                    
ISSN                    
                    
2075-2180
                            
                    
märkused                    
                    
Bibliogr.: 18 ref
                            
                    
keel                    
                    
inglise
                            
                    
                            Ahman, D., Kääramees, M. Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs // EPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 2012. [Sydney] : Open Publishing Association, 2012. p. 115-129 : ill.