( en | de | ru )

 

Disambiguation of "Brandl, Harald"

Author of the publication

copydeleteadd this publication to your clipboard
QR-Model Based Testing.

, , and . AST, page 17-20. ACM, (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.

Harald Brandl

Harald-Andreas Brandl

Franz Brandl

Wolfgang Brandl

Wolfgang Brandl

 

Other publications of authors with the same name

Coverage-based Testing Using Qualitative Reasoning Models., , and . SEKE, page 393-398. Knowledge Systems Institute Graduate School, (2008)Qualitative Action Systems., , and . ICFEM, volume 5885 of Lecture Notes in Computer Science, page 206-225. Springer, (2009)Test Case Generation from QR Models., and . IEA/AIE, volume 5027 of Lecture Notes in Computer Science, page 235-244. Springer, (2008)Model Dependent Test Coverage Variabilities., and . ICST, page 253-262. IEEE Computer Society, (2014)Conformance Testing of Hybrid Systems with Qualitative Reasoning Models., , and . MBT@ETAPS, volume 253 of Electronic Notes in Theoretical Computer Science, page 53-69. Elsevier, (2009)Towards Fault-based Generation of Test Cases for Dependable Embedded Software., , , and . Softwaretechnik-Trends, (2011)QR-Model Based Testing., , and . AST, page 17-20. ACM, (2008)Killing strategies for model-based mutation testing., , , , , and . Softw. Test. Verification Reliab., 25 (8): 716-748 (2015)Model-Based Mutation Testing of Hybrid Systems., , , and . FMCO, volume 6286 of Lecture Notes in Computer Science, page 228-249. Springer, (2009)Automated Conformance Verification of Hybrid Systems., , and . QSIC, page 3-12. IEEE Computer Society, (2010)