Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution
Weigang He, Jianqi Shi, Ting Su, Zeyu Lu, Hao Li, Yanhong Huang
Topics & Concepts
Computer scienceSymbolic executionCode coverageProgramming languageStatement (logic)Dynamic program analysisReliability (semiconductor)Concolic testingEmbedded systemProgram analysisSoftwareSoftware engineeringPolitical sciencePhysicsQuantum mechanicsLawPower (physics)Software Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchSoftware Engineering Research