High-assurance Software Laboratory
Head of the laboratory: Lead Research Scientist TARMO UUSTALU, tarmo.uustalu@taltech.ee
Members: Maksym Bortin, Silvio Capobianco, Juhan-Peep Ernits, Denis Firsov, Gert Kanter, Marko Kääramees, Sven Nõmm, Hellis Tamm, Leonidas Tsiopoulos, Jüri Vain
Doctoral students: Evelin Halling, Hendrik Maarand
Topics and Competences
The group conducts research into theories, methods and tools for developing high-assurance software, specializing on both proofs (certified software) and testing.
Recent research results
Three types of partiality monads were given explicit characterizations in the special case when the underlying functor of the monad is a container functor. This led in particular to a new simplified characterization of dominances. Foata normalization was shown to extend to a generalization of Mazurkiewicz traces where the commutability of two adjacent letters in a string depends on their left context; generalized Mazurkiewicz traces were applied to modeling relaxed memory models. A new set of mutation operators was defined for model-based mutation testing of web services modelled with timed automata; the verification rules for extracting live mutants from those generated were developed.
Selected publications
- F. Siavashi, J. Iqbal, D. Truscan, J. Vain (2017). Testing web services with model-based mutation., Revised Selected Papers from 11th International Joint Conference, ICSOFT 2016 (Lisbon, July 2016), v. 743 of Commun. In Comput. and Inf. Sci. pp. 45–67. Springer, 2017.
- H. Tamm, B. van der Merwe. Lower bound methods for the size of nondeterministic finite automata revisited (2017). Proc. of 11th Int. Conf. on Language and Automata Theory and Applications, LATA 2017 (Umeå, March 2017), v. 10168 of Lect. Notes in Comput. Sci., pp. 261–272. Springer, 2017.
- T. Uustalu, N. Veltri. (2017), Partiality and container monads. Proc. of 15th Asian Symp. on Programming Languages and Systems, APLAS 2017 (Suzhou, Nov. 2017), v. 10695 of Lect. Notes in Comput. Sci., pp. 406–425. Springer, 2017.
Contact
| Name | Position | Location | Phone | |
|---|---|---|---|---|
| Maksym Arkadevič Bortin | ResearcherSchool of Information Technologies: Department of Software Sciences | CYB-404 | maksym.bortin@taltech.ee | |
| Silvio Capobianco | Senior Research ScientistSchool of Information Technologies: Department of Software Sciences | CYB-421 | silvio.capobianco@taltech.ee | 6204221 |
| Juhan-Peep Ernits | Associate ProfessorSchool of Information Technologies: Department of Software Sciences | ICT-428 | juhan.ernits@taltech.ee | 6202326 |
| Programme Director (Software Engineering)School of Information Technologies: Dean's Office at School of Information Technologies | ICT-428 | |||
| Denis Firsov | ResearcherSchool of Information Technologies: Department of Software Sciences | CYB-406 | denis.firsov@taltech.ee | 6204198 |
| Evelin Halling | Teaching AssistantSchool of Information Technologies: Department of Software Sciences | ICT-423 | evelin.halling@taltech.ee | |
| Gert Kanter | LecturerSchool of Information Technologies: Department of Software Sciences | ICT-421 | gert.kanter@taltech.ee | 6202325 |
| Marko Kääramees | Associate ProfessorSchool of Information Technologies: Department of Software Sciences | ICT-427 | marko.kaaramees@taltech.ee | 6203461 |
| Programme Director (Informatics)School of Information Technologies: Dean's Office at School of Information Technologies | ICT-427 | |||
| DirectorSchool of Information Technologies: Department of Software Sciences | ICT-427 | |||
| Hendrik Maarand | Early Stage ResearcherSchool of Information Technologies: Department of Software Sciences | CYB-406 | hendrik.maarand@taltech.ee | 6204198 |
| Sven Nõmm | Senior Research ScientistSchool of Information Technologies: Department of Software Sciences | ICT-424 | sven.nomm@taltech.ee | |
| Hellis Tamm | Senior Research ScientistSchool of Information Technologies: Department of Software Sciences | CYB-407 | hellis.tamm@taltech.ee | 6204240 |
| Leonidas Tsiopoulos | Senior ResearcherSchool of Information Technologies: Department of Software Sciences | ICT-424 | leonidas.tsiopoulos@taltech.ee | |
| Tarmo Uustalu | Lead Research ScientistSchool of Information Technologies: Department of Software Sciences | CYB-402 | tarmo.uustalu@taltech.ee | 6204250 |
| Jüri Vain | ProfessorSchool of Information Technologies: Department of Software Sciences | ICT-419 | juri.vain@taltech.ee | 6204190 |