Verification and validation and artificial intelligence
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 …
should be used more widely but won't be unless developers can trust adaptive …
“Sampling” as a baseline optimizer for search-based software engineering
Increasingly, Software Engineering (SE) researchers use search-based optimization
techniques to solve SE problems with multiple conflicting objectives. These techniques often …
techniques to solve SE problems with multiple conflicting objectives. These techniques often …
Defect reduction planning (using timelime)
Software comes in releases. An implausible change to software is something that has never
been changed in prior releases. When planning how to reduce defects, it is better to use …
been changed in prior releases. When planning how to reduce defects, it is better to use …
An evolutionary algorithm for abductive reasoning
LB Romdhane, B Ayeb - Journal of Experimental & Theoretical …, 2011 - Taylor & Francis
Abductive reasoning (or abduction) is the process of inferring hypotheses from observed
data using a certain 'knowledge'encoded in the form of inference rules (or causal relations) …
data using a certain 'knowledge'encoded in the form of inference rules (or causal relations) …
Fast formal analysis of requirements via" topoi diagrams"
Early testing of requirements can decrease the cost of removing errors in software projects.
However unless done carefully, that testing process can significantly add to the cost of …
However unless done carefully, that testing process can significantly add to the cost of …
[PDF][PDF] On the value of stochastic abduction (if you fix everything, you lose fixes for everything else)
Back in the 1980s, the model-based diagnosis (MBD) community explored qualitative
representations [42]. Since they are not overly-specific, such representations can be quickly …
representations [42]. Since they are not overly-specific, such representations can be quickly …
How to improve ai tools (by adding in se knowledge): Experiments with the timelime defect reduction tool
AI algorithms are being used with increased frequency in SE research and practice. Such
algorithms are usually commissioned and certified using data from outside the SE domain …
algorithms are usually commissioned and certified using data from outside the SE domain …
[PDF][PDF] First contract: Better, earlier decisions for software projects
Decisions made in the earliest phases of software development have the greatest effect on
the likelihood of project success. These decisions are used to establish the requirements of …
the likelihood of project success. These decisions are used to establish the requirements of …
Qualitative modeling for requirements engineering
T Menzies, J Richardson - 2006 30th Annual IEEE/NASA …, 2006 - ieeexplore.ieee.org
Acquisition of" quantitative" models of sufficient accuracy to enable effective analysis of
requirements tradeoffs is hampered by the slowness and difficulty of obtaining sufficient …
requirements tradeoffs is hampered by the slowness and difficulty of obtaining sufficient …
[PDF][PDF] Real-time optimization of requirements models
Early life cycle risk models can represent the requirements that a development group would
want to achieve, the risks that could prevent these requirements from being met, and …
want to achieve, the risks that could prevent these requirements from being met, and …