Verification and validation and artificial intelligence

T Menzies, C Pecheur - Advances in computers, 2005 - Elsevier
Artificial Intelligence (AI) is useful. AI can deliver more functionality for reduced cost. AI
should be used more widely but won't be unless developers can trust adaptive …

[HTML][HTML] Post-hoc explanation of black-box classifiers using confident itemsets

M Moradi, M Samwald - Expert Systems with Applications, 2021 - Elsevier
Abstract Black-box Artificial Intelligence (AI) methods, eg deep neural networks, have been
widely utilized to build predictive models that can extract complex relationships in a dataset …

Data mining for very busy people

T Menzies, Y Hu - Computer, 2003 - ieeexplore.ieee.org
Most modern businesses can access mountains of data electronically; the trick is effectively
using that data. In practice, this means summarizing large data sets to find the data that …

Runtime monitoring and resolution of probabilistic obstacles to system goals

A Cailliau, AV Lamsweerde - ACM Transactions on Autonomous and …, 2019 - dl.acm.org
Software systems are deployed in environments that keep changing over time. They should
therefore adapt to changing conditions to meet their requirements. The satisfaction rate of …

Optimizing requirements decisions with keys

O Jalali, T Menzies, M Feather - … of the 4th international workshop on …, 2008 - dl.acm.org
Recent work with NASA's Jet Propulsion Laboratory has allowed for external access to five
of JPL's real-world requirements models, anonymized to conceal proprietary information, but …

Model-based tests of truisms

T Menzies, D Raffo, SO Setamanit, Y Hu… - Proceedings 17th …, 2002 - ieeexplore.ieee.org
Software engineering (SE) truisms capture broadly-applicable principles of software
construction. The trouble with truisms is that such general principles may not apply in …

More success and failure factors in software reuse

T Menzies, JS Di Stefano - IEEE Transactions on Software …, 2003 - ieeexplore.ieee.org
Numerous discrepancies exist between expert opinion and empirical data reported in
Morisio et al.'s recent TSE article. The differences related to what factors encouraged …

Treatment learning: Implementation and application

Y Hu - 2003 - open.library.ubc.ca
Data mining and machine learning focus on inducing previously unknown, potentially useful,
and ultimately understandable information from data. In this master's thesis, we propose a …

Many maybes mean (mostly) the same thing

T Menzies, H Singh - Soft Computing in Software Engineering, 2004 - Springer
At the core of soft computing is the intuition that from imprecise knowledge, we can still make
reasonable inferences. This paper offers experimental and mathematical evidence for this …

Simulations for very early lifecycle quality evaluations

E Chiang, T Menzies - Software Process: Improvement and …, 2002 - Wiley Online Library
Chung et al. have proposed a graphical model that captures the interdependencies between
design alternatives in terms of synergy and trade-offs. This model can assist in identifying …