Abstract : 
The following topics are dealt with: decision-centric traceability; software traceability; ontology; software verification; information retrieval; and machine learning.
         
        
            Keywords : 
learning (artificial intelligence); ontologies (artificial intelligence); program diagnostics; program verification; decision-centric traceability; information retrieval; machine learning; ontology; software engineering; software verification;
         
        
        
        
            Conference_Titel : 
Traceability in Emerging Forms of Software Engineering (TEFSE), 2013 International Workshop on
         
        
            Conference_Location : 
San Francisco, CA
         
        
        
            DOI : 
10.1109/TEFSE.2013.6620143