71 – 80 of 327
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
Mark
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
2022) 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 In Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 p.1431-1436(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A/B Testing in the Small
2022) 23:rd International Conference on Product-Focused Software Process Improvement, PROFES In Lecture Notes in Computer Science 13709. p.449-463(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Scenario Distribution Model for Effective and Efficient Testing of Autonomous Driving Systems
2022) AUST 2022 : The First Workshop on Autonomous Software Testing(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near Failure Analysis Using Dynamic Behavioural Data
2022) 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022 In Lecture Notes in Computer Science 13709. p.171-178(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Inter-Team Communication in Large-Scale Co-Located Software Engineering: A Case Study
(
- Contribution to journal › Article
- 2021
-
Mark
Probes and Sensors: The Design of Feedback Loops for Usability Improvements
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
2021) ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity In Proceedings of the ACM on Programming Languages 5(OOPSLA).(
- Contribution to journal › Article
-
Mark
Communicating Cybersecurity Vulnerability Information: A Producer-Acquirer Case Study
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Open source languages and methods for cyber-physical system development : Overview and case studies
(
- Contribution to journal › Article
-
Mark
Requirements Engineering for Well-Being, Aging, and Health : An Overview for Practitioners
(
- Contribution to journal › Article