The Strangest Thing About Software.
The article discusses the impact of artificial intelligence (AI) on software analysis. It offers information on how software works and the methods for detecting critical errors. The collars that have been discovered by the AI research are discussed including variable set selection, narrows, master v...
| Publicado en: | Computer (00189162) Vol. 40; no. 1; pp. 54 - 61 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
IEEE
Jan2007
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=23757610&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 23757610 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Jan2007 vid: 40 iid: 1 pid: 13605 pub: IEEE artinfo: ui: 23757610 10.1109/MC.2007.37 ppf: 54 ppct: 7 formats: tig: atl: The Strangest Thing About Software. aug: au: Menzies, Tim Owen, David Richardson, Julian affil: West Virginia University, Emerita Research Institute for Advanced Computer Science su: Software engineering Artificial intelligence Computer software Neural computers Computer programmers Intelligent agents Algorithms Mathematical variables Search engines sug: subj: Software engineering Artificial intelligence Computer software Neural computers Computer programmers Intelligent agents Algorithms Mathematical variables Search engines ab: The article discusses the impact of artificial intelligence (AI) on software analysis. It offers information on how software works and the methods for detecting critical errors. The collars that have been discovered by the AI research are discussed including variable set selection, narrows, master variables and back doors. Works of some software engineers related on collars and clumps are enumerated. An overview of the two experiments on two random search algorithms including LURCH and TAR3 is also presented. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2007 holdings: @attributes: islocal: N |
|---|