Proceedings 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)

Book title Buchtitel

ISBN

978-1-6654-5132-1

Filter:

Subject: Signal Temporal Logic (STL)

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Bartocci, Ezio ; Mariani, Leonardo ; Nickovic, Dejan ; Yadav, Drishti	Search-based Testing for Accurate Fault Localization in CPS	Inproceedings Konferenzbeitrag	21-Dec-2022