Software Testing: A Craftsman’s Approach, Fifth Edition PC Jorgensen, B DeVries | 1238* | 2021 |
Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty EM Fredericks, B DeVries, BHC Cheng Proceedings of the 9th International Symposium on Software Engineering for …, 2014 | 105 | 2014 |
AutoRELAX: automatically RELAXing a goal model to address uncertainty EM Fredericks, B DeVries, BHC Cheng Empirical Software Engineering 19 (5), 1466-1501, 2014 | 46 | 2014 |
Automatic detection of incomplete requirements via symbolic analysis B DeVries, BHC Cheng Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016 | 16 | 2016 |
Run-time monitoring of self-adaptive systems to detect n-way feature interactions and their causes B DeVries, BHC Cheng Proceedings of the 13th International Conference on Software Engineering for …, 2018 | 13 | 2018 |
Parallel implementations of FGMRES for solving large, sparse non-symmetric linear systems B DeVries, J Iannelli, C Trefftz, KA O’Hearn, G Wolffe Procedia Computer Science 18, 491-500, 2013 | 13 | 2013 |
Automatic detection of feature interactions using symbolic analysis and evolutionary computation B DeVries, BHC Cheng 2018 IEEE International Conference on Software Quality, Reliability and …, 2018 | 11 | 2018 |
Using Models at Run Time to Detect Incomplete and Inconsistent Requirements. B DeVries, BHC Cheng MoDELS (Satellite Events), 201-209, 2017 | 11 | 2017 |
An evolutionary approach to discovering execution mode boundaries for adaptive controllers AJ Clark, B DeVries, JM Moore, BHC Cheng, PK McKinley 2016 IEEE Symposium Series on Computational Intelligence (SSCI), 1-8, 2016 | 9 | 2016 |
Automatic detection of incomplete requirements using symbolic analysis and evolutionary computation B DeVries, BHC Cheng Search Based Software Engineering: 9th International Symposium, SSBSE 2017 …, 2017 | 8 | 2017 |
A divide-and-conquer algorithm for computing voronoi diagrams E Smith, C Trefftz, B DeVries 2020 IEEE International Conference on Electro Information Technology (EIT …, 2020 | 7 | 2020 |
Analysis and monitoring of cyber-physical systems via environmental domain knowledge & modeling B DeVries, EM Fredericks, BHC Cheng 2021 International Symposium on Software Engineering for Adaptive and Self …, 2021 | 6 | 2021 |
Goal-based modeling and analysis of non-functional requirements B DeVries, B Cheng 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 5 | 2019 |
Mapping of UML Diagrams to Extended Petri Nets for Formal Verification B DeVries | 5 | 2013 |
Data allocation and replication in data center: Tradeoff and solutions X Cao, B DeVries, J Scripps, C Trefftz 2020 IEEE International Conference on Electro Information Technology (EIT …, 2020 | 4 | 2020 |
Towards self-adaptive game logic EM Fredericks, B DeVries, JM Moore Proceedings of the 6th International ICSE Workshop on Games and Software …, 2022 | 3 | 2022 |
A novelty search and metamorphic testing approach to automatic test generation B DeVries, C Trefftz 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing …, 2021 | 3 | 2021 |
(Genetically) Improving Novelty in Procedural Story Generation EM Fredericks, B DeVries 2021 IEEE/ACM International Workshop on Genetic Improvement (GI), 39-40, 2021 | 3 | 2021 |
An algorithm to solve a facility location problem using a discrete approximation to the voronoi diagram C Trefftz, B DeVries, B Jenkins 2021 IEEE International Conference on Electro Information Technology (EIT …, 2021 | 3 | 2021 |
Test data generation for recurrent neural network implementations KG Skocelas, B DeVries 2020 IEEE International Conference on Electro Information Technology (EIT …, 2020 | 3 | 2020 |