Search results for "UniTesK"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Alexander Kamkin	The UniTESK Approach to Specification-Based Validation of Hardware Designs.	ISoLA	2006	DBLP DOI BibTeX RDF
62	Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov	The UniTesK Approach to Designing Test Suites.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
62	Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko	UniTesK Test Suite Architecture.	FME	2002	DBLP DOI BibTeX RDF	automata based testing, test suite architecture, specification based testing, partition testing
61	Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
49	Vadim S. Mutilin	Concurrent Testing of Java Components Using Java PathFinder.	ISoLA	2006	DBLP DOI BibTeX RDF
37	Victor V. Kuliamin, Alexander K. Petrenko	Evolution of the UniTESK test development technology.	Program. Comput. Softw.	2014	DBLP DOI BibTeX RDF
37	Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov	UniTESK: Component Model Based Testing.	ICTERI	2013	DBLP BibTeX RDF
25	Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov	Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF

Displaying result #1 - #8 of 8 (100 per page; Change: )