ICTSS 2023 (series) / IFIP-ICTSS 35th International Conference on Testing Software and Systems /
Probabilistic approach for minimizing checking sequences for non-deterministic FSMs
Wed 20 Sep 2023 15:00 - 15:20 at Room 5 - Conference room - Session on Test design and Model Based testing Chair(s): Claudio Menghi
Wed 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:20 | Session on Test design and Model Based testing IFIP-ICTSS 35th International Conference on Testing Software and Systems at Room 5 - Conference room Chair(s): Claudio Menghi University of Bergamo; McMaster University | ||
14:00 30mTalk | RQCODE: Security Requirements Formalization with Testing IFIP-ICTSS 35th International Conference on Testing Software and Systems Ildar Nigmatullin , Andrey Sadovykh Softeam, Sophie Ebersold , Nan Messe IRIT - University of Toulouse | ||
14:30 30mTalk | Prioritizing test cases with Markov Chains: a Preliminary Investigation IFIP-ICTSS 35th International Conference on Testing Software and Systems Luciana Rebelo GSSI, Érica F. Souza Federal Technological University of Paraná, Cornélio Procópio - PR, Gian Berkenbrock , Gerson Barbosa Eldorado Institute, Marlon Silva , André T. Endo Federal University of São Carlos, Brazil, Nandamudi Vijaykumar , Catia Trubiani Gran Sasso Science Institute | ||
15:00 20mTalk | Probabilistic approach for minimizing checking sequences for non-deterministic FSMs IFIP-ICTSS 35th International Conference on Testing Software and Systems Natalia Kushik SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Nina Yevtushenko , Jorge Lopez Airbus |