SAT-Analyzer  (Software  Artefacts  Traceability  Analyzer)  is  a prototype  tool  developed  previously,  with  the  intention  of  traceability management.  It  includes  a  core  engine  for  traceability  establishment  and visualization.  It  mainly  considers  software  artefacts  such  as  natural language based  

• Requirements,  

• UML Class Diagrams,  

• Java Source Code,  

• JUnit Test Cases, 

• Maven Build Script 

for traceability management as of now; the integration of DevOps practices along with continuous integration is explored.