DO-178B Software considerations in airborne systems and equipment certification[S]
[2]
Madni A M,Jackson S.Towards a conceptual framework for resilience engineering[J].Systems Journal,2009,3(2):181-191
[3]
Yue J,Harman M.An analysis and survey of the development of mutation testing[J].IEEE Transactions on Software Engineering,2011,37(5):649-678
[4]
DO-178B Software considerations in airborne systems and equipment certification[S]
[5]
Becker M,Kuznik C,Joy M M,et al.Binary mutation testing through dynamic translation[C]//Robert Swarz.Proceedings of the International Canference on Dependable Systems and Networks (DSN).Washington DC:IEEE Computer Society,2012: 1-12
[6]
Yue J,Harman M.An analysis and survey of the development of mutation testing[J].IEEE Transactions on Software Engineering,2011,37(5):649-678
[7]
Chiang M C,Yeh T C,Tseng G F.A QEMU and system C-based cycle-accurate ISS for performance estimation on SoC development[J].IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems,2011,30(4):593-606
[8]
Becker M,Kuznik C,Joy M M,et al.Binary mutation testing through dynamic translation[C]//Robert Swarz.Proceedings of the International Canference on Dependable Systems and Networks (DSN).Washington DC:IEEE Computer Society,2012: 1-12
Vermeulen B.Functional debug techniques for embedded systems[J].IEEE Design Test of Computers,2008,25(3):208-215
[11]
Chiang M C,Yeh T C,Tseng G F.A QEMU and system C-based cycle-accurate ISS for performance estimation on SoC development[J].IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems,2011,30(4):593-606
[12]
Jonathan B R.How debuggers work:algorithms,data structures,and architecture[M].New York:John Wiley & Sons Inc,1996
[13]
Vermeulen B.Functional debug techniques for embedded systems[J].IEEE Design Test of Computers,2008,25(3):208-215
[14]
Eilam E.Reversing:secrets of reverse engineering[M].New York:John Wiley & Sons Inc,2005
[15]
Jonathan B R.How debuggers work:algorithms,data structures,and architecture[M].New York:John Wiley & Sons Inc,1996
[16]
Mackinnon T,Freeman S,Craig P.Endo-testing: unit testing with mock objects[M]//Succi G,Marchesi M.Extreme Programming Examined.Boston,MA:Addison-Wesley Longman Publishing Co,2001:287-301
[17]
Eilam E.Reversing:secrets of reverse engineering[M].New York:John Wiley & Sons Inc,2005
Gschwind M,Kemal E,Erik A,et al.Binary translation and architecture convergence issues for IBM system/390[C]//John Reynders.Proceedings of the 14th International Conference on Supercomputing.Santa Fe:ACM,2000:336-347
[20]
Mackinnon T,Freeman S,Craig P.Endo-testing: unit testing with mock objects[M]//Succi G,Marchesi M.Extreme Programming Examined.Boston,MA:Addison-Wesley Longman Publishing Co,2001:287-301
[21]
Gschwind M,Kemal E,Erik A,et al.Binary translation and architecture convergence issues for IBM system/390[C]//John Reynders.Proceedings of the 14th International Conference on Supercomputing.Santa Fe:ACM,2000:336-347
