( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MoMut: : UML Model-Based Mutation Testing for UML.

, , , , , и . ICST, стр. 1-8. IEEE Computer Society, (2015)

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.

Stefan Schwärzler

Graphische Modelle im natürlichsprachlichen Mensch-Maschine-Dialog. TU München, (2010)

Stefan Weiß

Deformation quantization of principal fibre bundles and classical gauge theories. Uni Freiburg, (2009)

Stefan Fröhlich

Modellbasierte Fehlererkennung und Diagnose in Echtzeit am Beispiel einer Brennstoffzelle. Uni Kassel, (2009)

Stefan Tripmaker

Verhältnis und Abgrenzung zwischen Steuerhinterziehung und Betrug. Bucerius Law School Hamburg, (2007)

Stefan Kutter

Molekularer Aufbau und Translokationsmechanismus des Cag-Typ-IV-Sekretionssystems von Helicobacter pylori. Uni München, (2009)
 

Другие публикации лиц с тем же именем

MoMut: : UML Model-Based Mutation Testing for UML., , , , , и . ICST, стр. 1-8. IEEE Computer Society, (2015)Scalable Incremental Test-case Generation from Large Behavior Models., , и . TAP, том 9154 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2015)Integrating Model-Based Testing and Analysis Tools via Test Case Exchange., , и . TASE, стр. 119-126. IEEE Computer Society, (2012)Formal Test-Driven Development with Verified Test Cases., , и . MODELSWARD, стр. 626-635. SciTePress, (2014)On the Effects of UML Modeling Styles in Model-based Mutation Testing. Graz University of Technology, (2013)Programming Behavioral Test Models for SMT Solving in Scala., , и . ICST Workshops, стр. 52-60. IEEE, (2019)Require, test, and trace IT., , , , и . Int. J. Softw. Tools Technol. Transf., 19 (4): 409-426 (2017)Require, Test and Trace IT., , , , и . FMICS, том 9128 из Lecture Notes in Computer Science, стр. 113-127. Springer, (2015)Killing strategies for model-based mutation testing., , , , , и . Softw. Test. Verification Reliab., 25 (8): 716-748 (2015)Model-based mutation testing via symbolic refinement checking., , и . Sci. Comput. Program., (2015)