Improved Surprise Adequacy Tools for Corner Case Data Description and Detection
Ouyang, Tinghui, Marco, Vicent Sanz, Isobe, Yoshinao, Asoh, Hideki, Oiwa, Yutaka, Seo, Yoshiki
Published in Applied sciences (01.08.2021)
Published in Applied sciences (01.08.2021)
Get full text
Journal Article
Sound and mechanised compositional verification of input-output conformance
Sampaio, Augusto, Nogueira, Sidney, Mota, Alexandre, Isobe, Yoshinao
Published in Software testing, verification & reliability (01.06.2014)
Published in Software testing, verification & reliability (01.06.2014)
Get full text
Journal Article
Autonomous driving quality assurance with data uncertainty analysis
Ouyang, Tinghui, Isobe, Yoshinao, Sultana, Saima, Seo, Yoshiki, Oiwa, Yutaka
Published in 2022 International Joint Conference on Neural Networks (IJCNN) (18.07.2022)
Published in 2022 International Joint Conference on Neural Networks (IJCNN) (18.07.2022)
Get full text
Conference Proceeding
AI robustness analysis with consideration of corner cases
Ouyang, Tinghui, Isobe, Yoshinao, Marco, Vicent Sanz, Ogata, Jun, Seo, Yoshiki, Oiwa, Yutaka
Published in 2021 IEEE International Conference on Artificial Intelligence Testing (AITest) (01.08.2021)
Published in 2021 IEEE International Conference on Artificial Intelligence Testing (AITest) (01.08.2021)
Get full text
Conference Proceeding
Corner Case Data Description and Detection
Ouyang, Tinghui, Marco, Vicent Sanz, Isobe, Yoshinao, Asoh, Hideki, Oiwa, Yutaka, Seo, Yoshiki
Published in 2021 IEEE/ACM 1st Workshop on AI Engineering - Software Engineering for AI (WAIN) (01.05.2021)
Published in 2021 IEEE/ACM 1st Workshop on AI Engineering - Software Engineering for AI (WAIN) (01.05.2021)
Get full text
Conference Proceeding
Corner case data description and detection
Ouyang, Tinghui, Marco, Vicent Sant, Isobe, Yoshinao, Asoh, Hideki, Oiwa, Yutaka, Seo, Yoshiki
Year of Publication 07.01.2021
Year of Publication 07.01.2021
Get full text
Journal Article
Corner case data description and detection
Ouyang, Tinghui, Vicent Sant Marco, Isobe, Yoshinao, Asoh, Hideki, Oiwa, Yutaka, Seo, Yoshiki
Published in arXiv.org (12.03.2021)
Get full text
Published in arXiv.org (12.03.2021)
Paper
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
O'Reilly, Liam, Roggenbach, Markus, Isobe, Yoshinao
Published in Electronic notes in theoretical computer science (02.09.2009)
Published in Electronic notes in theoretical computer science (02.09.2009)
Get full text
Journal Article
The Stable Revivals Model in CSP-Prover
Samuel, D. Gift, Roggenbach, Markus, Isobe, Yoshinao
Published in Electronic notes in theoretical computer science (02.09.2009)
Published in Electronic notes in theoretical computer science (02.09.2009)
Get full text
Journal Article
Parallel algorithm that considers energy efficiency and time efficiency
Yoshizumi, Toshihiro, Goto, Takaaki, Isobe, Yoshinao, Ohmaki, Kazuhito, Mori, Hideki, Tsuchida, Kensei
Published in 2016 IEEE International Conference on Industrial Technology (ICIT) (01.03.2016)
Published in 2016 IEEE International Conference on Industrial Technology (ICIT) (01.03.2016)
Get full text
Conference Proceeding