Loading…
Software-centric methodology for verification and validation of fault models
Year of Publication 25.06.2013
Get full text
Patent
Loading…
Managing Verification and Validation
Published in Software Verification and Validation
(2007)
Get full text
Book Chapter
Loading…
Verification and validation in industry - a qualitative survey on the state of practice
Andersson, C., Runeson, P.
Published in 2002 International Symposium on Empirical Software Engineering (ISESE 2002) (2002)
Published in 2002 International Symposium on Empirical Software Engineering (ISESE 2002) (2002)
Get full text
Conference Proceeding
Book Chapter
Loading…
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models
Wang, Qian, Liu, Jing, Zhang, John, Dou, Hui, Sun, Haiying, Chen, HongTao, Chen, Xiaohong, He, Jifeng
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Published in Proceedings (International Conference on Engineering of Complex Computer Systems. Online) (14.06.2023)
Get full text
Conference Proceeding
Loading…
Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects
Juristo, N., Vegas, S., Solari, M., Abrahao, S., Ramos, I.
Published in 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (01.04.2012)
Published in 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (01.04.2012)
Get full text
Conference Proceeding
Loading…
Loading…
Explanation-Driven Self-Adaptation Using Model-Agnostic Interpretable Machine Learning
Negri, Francesco Renato, Nicolosi, Niccolo, Camilli, Matteo, Mirandola, Raffaela
Published in ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (Online) (15.04.2024)
Published in ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (Online) (15.04.2024)
Get full text
Conference Proceeding
Loading…
Special issue on Source code analysis and manipulation
Antoniol, Giuliano, Krinke, Jens, Tonella, Paolo
Published in Science of computer programming (15.10.2006)
Published in Science of computer programming (15.10.2006)
Get full text
Journal Article
Loading…
SMT-based bounded model checking for multi-threaded software in embedded systems
Cordeiro, Lucas
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
Loading…
Usage Policy-Based CPU Sharing in Virtual Organizations
Dumitrescu, Catalin, Foster, Ian
Published in Fifth IEEE/ACM International Workshop on Grid Computing (08.11.2004)
Published in Fifth IEEE/ACM International Workshop on Grid Computing (08.11.2004)
Get full text
Conference Proceeding
Loading…
Strategies for product-line verification: case studies and experiments
Apel, Sven, Rhein, Alexander von, Wendler, Philipp, Größlinger, Armin, Beyer, Dirk
Published in Proceedings of the 2013 International Conference on Software Engineering (18.05.2013)
Published in Proceedings of the 2013 International Conference on Software Engineering (18.05.2013)
Get full text
Conference Proceeding
Loading…
SOFTWARE-CENTRIC METHODOLOGY FOR VERIFICATION AND VALIDATION OF FAULT MODELS
Year of Publication 10.12.2009
Get full text
Patent
Loading…
Loading…
Dynamically Testing GUIs Using Ant Colony Optimization (T)
Carino, Santo, Andrews, James H.
Published in 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2015)
Published in 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2015)
Get full text
Conference Proceeding
Loading…
Dynamic shape analysis of program heap using graph spectra (NIER track)
Malik, Muhammad Zubair
Published in Proceedings of the 33rd International Conference on Software Engineering (21.05.2011)
Published in Proceedings of the 33rd International Conference on Software Engineering (21.05.2011)
Get full text
Conference Proceeding
Loading…
Proposing regulatory-driven automated test suites for electronic health record systems
Morrison, Patrick, Holmgreen, Casper, Massey, Aaron, Williams, Laurie
Published in Proceedings of the 5th International Workshop on Software Engineering in Health Care (20.05.2013)
Published in Proceedings of the 5th International Workshop on Software Engineering in Health Care (20.05.2013)
Get full text
Conference Proceeding
Loading…
The Internet as a medium for software engineering experiments
Get full text
Conference Proceeding
Journal Article