Randomly Right

Game strategies used in tools such as Deep Blue and AlphaGo might be the key to improving and automating software verification.

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE software 2017, Vol.34 (5), p.87-89
1. Verfasser:	Holzmann, Gerard J.
Format:	Artikel
Sprache:	eng
Schlagworte:	AlphaGo automated software testing Deep Blue feature interaction problem feature verification FeaVer Game theory Games model checkers Program verification (computers) Search problems software development software engineering Software reliability software testing software verification Testing
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Game strategies used in tools such as Deep Blue and AlphaGo might be the key to improving and automating software verification.
ISSN:	0740-7459 1937-4194
DOI:	10.1109/MS.2017.3571567