Author:
Debbabi Mourad,Hassaïne Fawzi,Jarraya Yosr,Soeanu Andrei,Alawneh Luay
Publisher
Springer Berlin Heidelberg
Reference58 articles.
1. D. Agnew, L. J. M. Claesen, and R. Camposano, editors. Computer Hardware Description Languages and their Applications, volume A-32 of IFIP Transactions. North-Holland, Amsterdam, 1993.
2. L. Benini, A. Bogliolo, G. Paleologo, and G. De Micheli. Policy Optimization for Dynamic Power Management. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 8(3):299–316, 2000.
3. D. Binkley. The Application of Program Slicing to Regression Testing. In Information and Software Technology Special Issue on Program Slicing, pages 583–594. Elsevier, Amsterdam, 1999.
4. B. W. Boehm and V. R. Basili. Software Defect Reduction Top 10 List. IEEE Computer, 34(1):135–137, 2001.
5. G. Brat and W. Visser. Combining Static Analysis and Model Checking for Software Analysis. In the Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE), page 262, Washington, DC, USA, 2001. IEEE Computer Society.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献