Communications of the ACM · 2015 · 37 citations · 0 references
ComputingComputer ScienceSystems EngineeringModel-based Systems EngineeringSoftware EngineeringSystems ModelingModel ExecutionModel-based DesignModel-driven DevelopmentModel-driven Software EngineeringSoftware ModelingSoftware TestingModel-based TestingStatic ModelsTest Case GenerationTest CasesTest ExecutionTest GenerationTest Generation From ModelsTest Selection
MBT has positive effects on efficiency and effectiveness, even if it only partially fulfills high expectations.