Title :
Table of contents
Abstract :
The following topics are dealt with: software reliability; modeling; mixed reality application; program logic; fault localization; Big Data; safety-critical system; data analysis; industrial systems; software failure; software testing; and machine learning.
Keywords :
data analysis; formal logic; learning (artificial intelligence); program testing; software reliability; Big Data; data analysis; fault localization; industrial systems; machine learning; mixed reality application; program logic; safety-critical system; software failure; software reliability; software testing;
Conference_Titel :
Software Reliability Engineering (ISSRE), 2014 IEEE 25th International Symposium on
Conference_Location :
Naples
Print_ISBN :
978-1-4799-6032-3
DOI :
10.1109/ISSRE.2014.9