Page 158 - 《软件学报》2021年第7期

2076 Journal of Software 软件学报 Vol.32, No.7, July 2021

[60] Gambi A, Huynh T, Fraser G. Generating effective test cases for self-driving cars from police reports. In: Proc. of the 27th ACM
Joint Meeting on European Software Engineering Conf. and Symp. on the Foundations of Software Engineering. 2019. 257–267.
[61] Fremont DJ, Kim E, Pant YV, et al. Formal scenario-based testing of autonomous vehicles: From simulation to the real world.
arXiv Preprint arXiv: 2003.07739, 2020.
[62] Tuncali CE, Fainekos G, Ito H, et al. Simulation-based adversarial test generation for autonomous vehicles with machine learning
components. In: Proc. of the 2018 IEEE Intelligent Vehicles Symp. (IV). IEEE, 2018. 1555–1562.
[63] Michel O. Cyberbotics Ltd. Webots™: Professional mobile robot simulation. Int’l Journal of Advanced Robotic Systems, 2004,
1(1):5.
[64] Wu B, Iandola F, Jin PH, et al. Squeezedet: Unified, small, low power fully convolutional neural networks for real-time object
detection for autonomous driving. In: Proc. of the IEEE Conf. on Computer Vision and Pattern Recognition Workshops. 2017.
129–37.
[65] Kuhn DR, Kacker RN, Lei Y. Introduction to Combinatorial Testing. CRC Press, 2013.
[66] Rocklage E. Teaching self-driving cars to dream: A deeply integrated, innovative approach for solving the autonomous vehicle
validation problem. In: Proc. of the 20th IEEE Int’l Conf. on Intelligent Transportation Systems (ITSC). IEEE, 2017. 1–7.
[67] Aramrattana M, Larsson T, Jansson J, et al. A simulation framework for cooperative intelligent transport systems testing and
evaluation. Transportation Research Part F: Traffic Psychology and Behaviour, 2019,61:268–280.
[68] Dreossi T, Fremont DJ, Ghosh S, et al. Verifai: A toolkit for the formal design and analysis of artificial intelligence-based systems.
In: Proc. of the Int’l Conf. on Computer Aided Verification. Cham: Springer-Verlag, 2019. 432–442.
[69] Rocklage E, Kraft H, Karatas A, et al. Automated scenario generation for regression testing of autonomous vehicles. In: Proc. of the
20th IEEE Int’l Conf. on Intelligent Transportation Systems (ITSC). IEEE, 2017. 476–483.
[70] Chance G, Ghobrial A, Lemaignan S, et al. An agency-directed approach to test generation for simulation-based autonomous
vehicle verification. arXiv Preprint arXiv: 1912.05434, 2019.
[71] Tahir Z, Alexander R. Coverage based testing for V&V and safety assurance of self-driving autonomous vehicle: A systematic
literature review. In: Proc. of the 2nd IEEE Int’l Conf. on Artificial Intelligence Testing. York, 2020.
[72] Fujikura T, Kurachi R. A test scenario generation method for high requirement coverage by using Kaos method. In: Proc. of the
19th IEEE Int’l Conf. on Software Quality, Reliability and Security Companion (QRS-C). IEEE, 2019. 542–543.
[73] Van Lamsweerde A. Requirements Engineering: From System Goals to UML Models to Software. Chichester: John Wiley & Sons,
2009.
[74] Alexander R, Hawkins HR, Rae AJ. Situation coverage—a coverage criterion for testing autonomous robots. Technical Report,
2015. http://eprints.whiterose.ac.uk/88736/
[75] Hawkins H, Alexander R. Situation coverage testing for a simulated autonomous car—an initial case study. arXiv Preprint arXiv:
1911.06501, 2019.
[76] Cheng CH, Huang CH, Yasuoka H. Quantitative projection coverage for testing ML-enabled autonomous systems. In: Proc. of the
Int’l Symp. on Automated Technology for Verification and Analysis. Cham: Springer-Verlag, 2018. 126–142.
[77] Alnaser AJ, Akbas MI, Sargolzaei A, et al. Autonomous vehicles scenario testing framework and model of computation. SAE Int’l
Journal of Connected and Automated Vehicles, 2019,2(12-02-04-0015):205–218.
[78] Antkiewicz M, Kahn M, Ala M, et al. Modes of automated driving system scenario testing: Experience report and recommendations.
SAE Technical Paper, 2020.
[79] Iqbal M Z, Arcuri A, Briand L. Empirical investigation of search algorithms for environment model-based testing of real-time
embedded software. In: Proc. of the 2012 Int’l Symp. on Software Testing and Analysis. 2012. 199–209.
[80] Feng S, Feng Y, Yu C, et al. Testing scenario library generation for connected and automated vehicles, part I: Methodology. IEEE
Trans. on Intelligent Transportation Systems, 2020.
[81] Feng S, Feng Y, Sun H, et al. Testing scenario library generation for connected and automated vehicles, part II: Case studies. IEEE
Trans. on Intelligent Transportation Systems, 2020.
[82] Geiger A, Lenz P, Stiller C, et al. Vision meets robotics: The Kitti dataset. The Int’l Journal of Robotics Research, 2013,32(11):
1231–1237.
[83] Soomro K, Zamir AR, Shah M. UCF101: A dataset of 101 human actions classes from videos in the wild. arXiv Preprint arXiv:
1212.0402, 2012.
[84] Kuehne H, Jhuang H, Garrote E, et al. HMDB: A large video database for human motion recognition. In: Proc. of the 2011 Int’l
Conf. on Computer Vision. IEEE, 2011. 2556–2563.