Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
A Survey on Failure Analysis and Fault Injection in AI Systems
Yu, Guangba, Tan, Gou, Huang, Haojia, Zhang, Zhenyu, Chen, Pengfei, Natella, Roberto, Zheng, Zibin, Lyu, Michael R.
Published in ACM transactions on software engineering and methodology (16.05.2025)
Published in ACM transactions on software engineering and methodology (16.05.2025)
Get full text
Journal Article
Failure Diagnosis in Microservice Systems: A Comprehensive Survey and Analysis
Zhang, Shenglin, Xia, Sibo, Fan, Wenzhao, Shi, Binpeng, Xiong, Xiao, Zhong, Zhenyu, Ma, Minghua, Sun, Yongqian, Pei, Dan
Published in ACM transactions on software engineering and methodology (23.01.2025)
Published in ACM transactions on software engineering and methodology (23.01.2025)
Get full text
Journal Article
SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink
Chowdhury, Shafiul Azam, Shrestha, Sohil Lal, Johnson, Taylor T., Csallner, Christoph
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Get full text
Conference Proceeding
Analyzing and Improving Resilience and Robustness of Autonomous Systems (Invited Paper)
Wan, Zishen, Swaminathan, Karthik, Chen, Pin-Yu, Chandramoorthy, Nandhini, Raychowdhury, Arijit
Published in 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (29.10.2022)
Published in 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (29.10.2022)
Get full text
Conference Proceeding
Collaborative reliability prediction of service-oriented systems
Zheng, Zibin, Lyu, Michael R.
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding
Early prediction of software component reliability
Cheung, L., Roshandel, R., Medvidovic, N., Golubchik, L.
Published in 2008 ACM/IEEE 30th International Conference on Software Engineering (01.01.2008)
Published in 2008 ACM/IEEE 30th International Conference on Software Engineering (01.01.2008)
Get full text
Conference Proceeding
Journal Article
BEC: Bit-Level Static Analysis for Reliability against Soft Errors
Ko, Yousun, Burgstaller, Bernd
Published in Proceedings / International Symposium on Code Generation and Optimization (02.03.2024)
Published in Proceedings / International Symposium on Code Generation and Optimization (02.03.2024)
Get full text
Conference Proceeding
FIXME: Enhance Software Reliability with Hybrid Approaches in Cloud
Hwang, Jinho, Shwartz, Larisa, Wang, Qing, Batta, Raghav, Kumar, Harshit, Nidd, Michael
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) (01.05.2021)
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) (01.05.2021)
Get full text
Conference Proceeding
DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving
Liao, Haoyu, Guo, Jianmei, Huang, Bo, Han, Yujie, Yang, Dingyu, Shi, Kai, Ding, Jonathan, Xu, Guoyao, Yang, Guodong, Zhang, Liping
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Get full text
Conference Proceeding
Run-time efficient probabilistic model checking
Filieri, Antonio, Ghezzi, Carlo, Tamburrelli, Giordano
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)
Get full text
Conference Proceeding
How are Contracts Used in Android Mobile Applications?
Ferreira, David R., Mendes, Alexandra, Ferreira, Joao F.
Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (14.04.2024)
Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (14.04.2024)
Get full text
Conference Proceeding
Towards Robust ML-enabled Software Systems: Detecting Out-of-Distribution data using Gini Coefficients
Abdelkader, Hala, Schneider, Jean-Guy, Abdelrazek, Mohamed, Rani, Priya, Vasa, Rajesh
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Get full text
Conference Proceeding
Precise memory leak detection for java software using container profiling
Guoqing Xu, Rountev, A.
Published in 2008 ACM/IEEE 30th International Conference on Software Engineering (01.01.2008)
Published in 2008 ACM/IEEE 30th International Conference on Software Engineering (01.01.2008)
Get full text
Conference Proceeding
Journal Article
The secret life of bugs: Going past the errors and omissions in software repositories
Aranda, Jorge, Venolia, Gina
Published in 2009 IEEE 31st International Conference on Software Engineering (01.01.2009)
Published in 2009 IEEE 31st International Conference on Software Engineering (01.01.2009)
Get full text
Conference Proceeding
Lightweight fault-localization using multiple coverage types
Santelices, Raul, Jones, James A., Yanbing Yu, Harrold, Mary Jean
Published in 2009 IEEE 31st International Conference on Software Engineering (01.01.2009)
Published in 2009 IEEE 31st International Conference on Software Engineering (01.01.2009)
Get full text
Conference Proceeding