FS HELL: Systematic Test Case Generation for Dynamic Analysis and Measurement ⋆ (Tool Paper) Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith Technische Universit¨at Darmstadt, Germany Abstra

Source URL: www.tautschnig.net

A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien

Source URL: icst2015.ist.tu-graz.ac.at

• Formal methods
• Logic in computer science
• Software engineering
• Helmut Veith
• Computer science
• Computer programming
• Debugging
• Veith
• Formal verification
• Turing Award
• Assertion
• Model checking

Folia Zoologica, Vol. 53, Monograph 1 Petr BENDA, Andreas KIEFER, Vladimír HANÁK and Michael VEITH SYSTEMATIC STATUS OF AFRICAN POPULATIONS OF LONG-EARED BATS,

Source URL: www.ivb.cz

L’esperienza delle città metropolitane in Germania Prof. Dr. iur. Veith Mehde, Mag.rer.publ. Outline

Source URL: met.cittametropolitana.fi.it

DOKTORATSKOLLEG W1255 Sprecher Helmut Veith

Source URL: www.fwf.ac.at

DOKTORATSKOLLEG W1255 Sprecher Helmut Veith

Source URL: www.fwf.ac.at

Patrick Henry college Michael P. Farris, J.D., LL.M., Chancellor Graham Walker, Ph.D., President Gene Edward Veith, Ph.D., Provost Pro Christo et Libertate

Source URL: homeschoolersanonymous.files.wordpress.com

On the Concept of Variable Roles and its Use in Software Analysis Yulia Demyanova, Helmut Veith, Florian Zuleger Vienna University of Technology Abstract—Human written source code in imperative programming languages ex

Source URL: www.cs.utexas.edu

• Type theory
• Variables
• Environment variable
• C programming language
• C syntax
• Computing
• Software engineering
• Data types

Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib

Source URL: forsyte.at

• Distributed computing
• Fault tolerance
• Cryptography
• Failure
• Theory of computation
• Consensus
• Byzantine fault tolerance
• Promela
• Distributed algorithm
• Fault-tolerant computer systems
• Concurrent computing
• Computing

Forschungsprojekt „Demokratische Kompetenz und Demokratieverstehen“ - Pädagogisches Seminar der Universität Göttingen Prof. Dr. Hermann Veith, Mario Förster, M.A., Michaela Weiß, M.A. Liebe Schülerin, lieber Sc

Source URL: schule-demokratie.brandenburg.de