| Software Testing: A Craftsman’s Approach, Fifth Edition PC Jorgensen, B DeVries | 1235* | 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 | 5 | 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 |
| 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 |
| Towards the detection of partial feature interactions B DeVries, BHC Cheng 2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019 | 3 | 2019 |
| Detecting Unintended N-Way Feature Interactions and their Causes for Autonomous Systems B DeVries, BHC Cheng Technical Report, 2017 | 3 | 2017 |
| Using formal analysis and search-based techniques to address the assurance of cyber-physical systems at the requirements level B DeVries Michigan State University, 2017 | 3 | 2017 |
