PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kuliamin, Victor V."

Author of the publication

copydeleteadd this publication to your clipboard
Automation of broad sanity test generation.

, , , , and . Programming and Computer Software, 34 (6): 351-363 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

V. Vaikuntanathan

Victor Mappes University of Stuttgart

Victor Van Santen University of Stuttgart

V. Zaverkin

apl. Prof. Dr. Angelika Vetter University of Stuttgart

Reducing Social Stratification Bias in Referendum Participation : Evidence from the German Local Level, , and . Political research quarterly, (2024)
 

Other publications of authors with the same name

UniTesK Test Suite Architecture., , , and . FME, volume 2391 of Lecture Notes in Computer Science, page 77-88. Springer, (2002)The use of contract specifications for representing requirements and for functional testing of hardware models., , , , and . Programming and Computer Software, 33 (5): 272-282 (2007)Standardization and Testing of Mathematical Functions.. Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 257-268. Springer, (2009)Integration of verification methods for program systems.. Programming and Computer Software, 35 (4): 212-222 (2009)Standardization and testing of implementations of mathematical functions in floating point numbers.. Programming and Computer Software, 33 (3): 154-173 (2007)Evolution of the UniTESK test development technology., and . Programming and Computer Software, 40 (5): 296-304 (2014)Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions., , and . Electron. Notes Theor. Comput. Sci., 164 (4): 83-96 (2006)Formal Verification of OS Security Model with Alloy and Event-B., , , , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 309-313. Springer, (2014)UniTESK: Component Model Based Testing., , and . ICTERI, volume 1000 of CEUR Workshop Proceedings, page 573-581. CEUR-WS.org, (2013)Java Specification Extension for Automated Test Development., , , , , , and . Ershov Memorial Conference, volume 2244 of Lecture Notes in Computer Science, page 301-307. Springer, (2001)