Verifying Determinism in Sequential Programs

When a program is nondeterministic, it is difficult to test and debug. Nondeterminism occurs even in sequential programs iterating over the elements of a hash table. We have created a type system that expresses determinism specifications in a program. The key ideas in the type system are type qualif...

Celý popis

Podrobná bibliografie

Vydáno v:	2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) s. 213 - 214
Hlavní autoři:	Mudduluru, Rashmi, Waataja, Jason, Millstein, Suzanne, Ernst, Michael
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.05.2021
Témata:	Computer bugs Detectors flaky tests hash table nondeterminism Software engineering specification type system verification
ISBN:	1665412194, 9781665412193
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!