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.