News

Volvo – 1st Workshop on Automatic Generation of Test Cases for Mechatronic Systems

Workshop: 5 September, 13:00-16:00, Volvo Car Corporation

Members of SyTeC participated in the First Workshop on Automatic Generation of Test Cases for Mechatronic Systems, that was hosted by Volvo Car Corporation. This was a workshop supported by the Vinnova-FFI financed TESTRON project, which is adjoint with SyTeC. (more…)

Angela Wallenburg – Safe and Secure Programming Using SPARK

Seminar: 1 September 2017, 13:15, EA

Sometimes software really has to work. SPARK is a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed. By design, the SPARK language is immune to many programming language vulnerabilities (such as those listed by NIST/CWE/SANS). Under the hood, the SPARK static analysis tools use formal verification (automatic mathematical proof). (more…)

CASE 2017 – Special Session on Model-Based Testing of Hybrid Systems

At the 13th IEEE Conference on Automation Science and Engineering, August 20-23, 2017, Wyndham Grand Hotel, Xi’an, China, two SyTeC colleagues, Knut Åkesson and Martin Fabian, organized, invited and chaired a special session on Model-Based Testing of Hybrid Systems. (more…)

Jan Tretmans – Model-Based Testing: There is Nothing More Practical than a Good Theory

Seminar: 25 April 2017, 13:15, EF

We build ever larger and more complex software systems. Systematic testing plays an important role in assessing the quality of such systems. The effort for testing, however, turns out to grow even faster than the size and complexity of the systems under test themselves.One of the promising testing technologies to detect more bugs faster and cheaper is model-based testing. (more…)