Loading…
Verification and Validation of the Stakeholder Tool for Assessing Radioactive Transportation (START)
Condon, Caitlin, Jensen, Philip, Royer, Patrick, Gadey, Harish, Abkowitz, Mark, Claypool, Robert, Maheras, Steven, Feldman, Matt
Year of Publication 16.06.2023
Year of Publication 16.06.2023
Get full text
Journal Article
Loading…
An empirical study of the effects of test-suite reduction on fault localization
Yanbing Yu, Jones, J.A., Harrold, M.J.
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
Loading…
Adaptive Coverage and Operational Profile-Based Testing for Reliability Improvement
Bertolino, Antonia, Miranda, Breno, Pietrantuono, Roberto, Russo, Stefano
Published in Proceedings / International Conference on Software Engineering (01.05.2017)
Published in Proceedings / International Conference on Software Engineering (01.05.2017)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
RoScript: A Visual Script Driven Truly Non-Intrusive Robotic Testing System for Touch Screen Applications
Qian, Ju, Shang, Zhengyu, Yan, Shuoyan, Wang, Yan, Chen, Lin
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
Loading…
Consent Verification Monitoring
Robol, Marco, Breaux, Travis D., Paja, Elda, Giorgini, Paolo
Published in ACM transactions on software engineering and methodology (22.02.2023)
Published in ACM transactions on software engineering and methodology (22.02.2023)
Get full text
Journal Article
Loading…
Developing and verifying an artificial twin of the organ procurement and transplant process: A systems approach
Rosendale, John, Vece, Gabe, Lindblad, Kelsi, Jordan, Craig, Stuart, Morgan, Nielsen, Alex, Kalman, Beth, Diallo, Saikou
Published in Journal of simulation : JOS (02.01.2024)
Published in Journal of simulation : JOS (02.01.2024)
Get full text
Journal Article
Loading…
Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study
Lin, Jun-Wei, Salehnamadi, Navid, Malek, Sam
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Get full text
Conference Proceeding
Loading…
Automated Energy Optimization of HTTP Requests for Mobile Applications
Ding Li, Yingjun Lyu, Jiaping Gui, Halfond, William G. J.
Published in Proceedings / International Conference on Software Engineering (14.05.2016)
Published in Proceedings / International Conference on Software Engineering (14.05.2016)
Get full text
Conference Proceeding
Loading…
Drought Persistence Errors in Global Climate Models
Moon, H., Gudmundsson, L., Seneviratne, S. I.
Published in Journal of geophysical research. Atmospheres (16.04.2018)
Published in Journal of geophysical research. Atmospheres (16.04.2018)
Get full text
Journal Article
Loading…
Flight Rule Design, Implementation, Verification, and Validation for the Psyche Mission
Khan, Shaheer, Mukherji, Deep, Lawler, Christopher, Kruger, Andrew, Voskanian, Vicken, Schellpfeffer, Maria, Alibay, Farah, Hwangpo, Nari, Weise, Tim
Published in 2022 IEEE Aerospace Conference (AERO) (05.03.2022)
Published in 2022 IEEE Aerospace Conference (AERO) (05.03.2022)
Get full text
Conference Proceeding
Loading…
On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
Krishna, Shankaranarayanan, Lal, Aniket, Pavlogiannis, Andreas, Tuppe, Omkar
Published in Proceedings of ACM on programming languages (02.01.2024)
Published in Proceedings of ACM on programming languages (02.01.2024)
Get full text
Journal Article
Loading…
Adjoint neutron flux calculations with Tripoli-4®: Verification and comparison to deterministic codes
Terranova, Nicholas, Truchet, Guillaume, Zmijarevic, Igor, Zoia, Andrea
Published in Annals of nuclear energy (01.04.2018)
Published in Annals of nuclear energy (01.04.2018)
Get full text
Journal Article
Loading…
Loading…
Extrapolating Coverage Rate in Greybox Fuzzing
Liyanage, Danushka, Lee, Seongmin, Tantithamthavorn, Chakkrit, Bohme, Marcel
Published in Proceedings / International Conference on Software Engineering (14.04.2024)
Published in Proceedings / International Conference on Software Engineering (14.04.2024)
Get full text
Conference Proceeding
Loading…
Prioritizing Test Inputs for DNNs Using Training Dynamics
Shen, Jian, Li, Zhong, Pan, Minxue, Li, Xuandong
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
Loading…
An Exploratory Investigation of Log Anomalies in Unmanned Aerial Vehicles
Wang, Dinghua, Li, Shuqing, Xiao, Guanping, Liu, Yepang, Sui, Yulei, He, Pinjia, Lyu, Michael R.
Published in Proceedings / International Conference on Software Engineering (14.04.2024)
Published in Proceedings / International Conference on Software Engineering (14.04.2024)
Get full text
Conference Proceeding