Fetching the paper…
Reading the bibliography…
Systematic testing of autonomous vehicles operating in complex real-world scenarios is a difficult and expensive problem.
Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.: Lustre: A declarative language for programming synchronous systems. In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987. pp. 178–188 (1987)
1987
Earlier work this paper cites.
Pomerleau, D.: ALVINN: An autonomous land vehicle in a neural network. In: NIPS 88: Neural Information Processing Systems (1988)
1988
Earlier work this paper cites.
Niederreiter, H.: Random number generation and quasi-Monte Carlo methods. SIAM (1992)
1992
Earlier work this paper cites.
Rote, G., Tichy, R.: Quasi-Monte-Carlo methods and the dispersion of point sequences. Mathematical and Computer Modelling 23
1996
Earlier work this paper cites.
Mackinnon, T., Freeman, S., Craig, P.: Endo-testing: Unit testing with mock objects. In: eXtreme Programming and Flexible Processes in Software Engineering - XP2000 (2000)
2000
Earlier work this paper cites.
Wan, Z., Hudak, P.: Functional reactive programming from first principles. In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000. pp. 242–252. ACM (2000). https://doi.org/10.1145/349299.349331, https://doi.org/10.1145/349299.349331
2000
Earlier work this paper cites.
Beck, K.L.: Test Driven Development: By Example. Addison-Wesley Professional (2002)
2002
Earlier work this paper cites.
Hudak, P., Courtney, A., Nilsson, H., Peterson, J.: Arrows, robots, and functional reactive programming. In: Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Lecture Notes in Computer Science, vol. 2638, pp. 159–187. Springer (2002). https://doi.org/10.1007/978-3-540-44833-4_6, https://doi.org/10.1007/978-3-540-44833-4˙6
2002
Earlier work this paper cites.
Alon, N., Spencer, J.H.: The Probabilistic Method. Wiley-Interscience series in discrete mathematics and optimization, Wiley (2004)
2004
Earlier work this paper cites.
Colbourn, C.J.: Combinatorial aspects of covering arrays. Le Matematiche 59
2004
Earlier work this paper cites.
Quigley, M., Conley, K., Gerkey, B., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.: Ros: an open-source robot operating system. In: ICRA workshop on open source software (2009)
2009
Earlier work this paper cites.
Donzé, A.: Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems, pp. 167–170. Springer (2010)
2010
Earlier work this paper cites.
Kuhn, D.R., Kacker, R.N., Lei, Y.: Combinatorial testing. In: Laplante, P.A. (ed.) Encyclopedia of Software Engineering, pp. 1–12. CRC Press (Nov 2010)
2010
Earlier work this paper cites.
Annpureddy, Y., Liu, C., Fainekos, G.E., Sankaranarayanan, S.: S-TaLiRo: A tool for temporal logic falsification for hybrid systems. In: TACAS 11. Lecture Notes in Computer Science, vol. 6605, pp. 254–257. Springer (2011)
2011
Earlier work this paper cites.
Everingham, M., Van Gool, L., Williams, C.K.I., Winn, J., Zisserman, A.: The PASCAL Visual Object Classes Challenge 2011 (VOC2011) Results. http://host.robots.ox.ac.uk/pascal/VOC/voc2011/index.html
2011
Earlier work this paper cites.
Liberty, J., Betts, P.: Programming Reactive Extensions and LINQ. Apress (2011)
2011
Earlier work this paper cites.
Sankaranarayanan, S., Fainekos, G.: Falsification of temporal properties of hybrid systems using the cross-entropy method. In: HSCC 12. pp. 125–134. ACM (2012)
2012
Earlier work this paper cites.
Fritsch, J., Kuehnl, T., Geiger, A.: A new performance measure and evaluation benchmark for road detection algorithms. In: International Conference on Intelligent Transportation Systems (ITSC) (2013)
2013
Earlier work this paper cites.
Samimi, H., Hicks, R., Fogel, A., Millstein, T.: Declarative mocking. In: ISSTA 2013. pp. 246–256. ACM (2013)
2013
Earlier work this paper cites.
2013
Earlier work this paper cites.
2014
Earlier work this paper cites.
Ho, H., Ouaknine, J., Worrell, J.: Online monitoring of metric temporal logic. In: Runtime Verification RV 2014. Lecture Notes in Computer Science, vol. 8734, pp. 178–192. Springer (2014)
2014
Earlier work this paper cites.
2014
Earlier work this paper cites.
2014
Earlier work this paper cites.
Wymann, B., Espié, E., Guionneau, C., Dimitrakakis, C., Coulom, R., Sumner, A.: TORCS, The Open Racing Car Simulator. http://www.torcs.org (2014)
2014
Earlier work this paper cites.
Alexander, R., Hawkins, H., Rae, A.: Situation coverage – a coverage criterion for testing autonomous robots (02 2015)
2015
Cited alongside, same era.
Deshmukh, J., Jin, X., Kapinski, J., Maler, O.: Stochastic local search for falsification of hybrid systems. In: ATVA. pp. 500–517. Springer (2015)
2015
Cited alongside, same era.
Fainekos, G.: Automotive control design bug-finding with the S-TaLiRo tool. In: ACC 2015. p. 4096 (2015)
2015
Cited alongside, same era.
2015
Cited alongside, same era.
Ben Abdessalem, R., Nejati, S., Briand, L.C., Stifter, T.: Testing advanced driver assistance systems using multi-objective search and neural networks. In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE). pp. 63–74 (2016)
Majumdar, R., Niksic, F.: Why is random testing effective for partition tolerance bugs? PACMPL 2
2018
Later among the works it cites.
Mirman, M., Gehr, T., Vechev, M.: Differentiable abstract interpretation for provably robust neural networks. In: International Conference on Machine Learning (ICML) (2018), https://www.icml.cc/Conferences/2018/Schedule?showEvent=2477
2018
Later among the works it cites.
O’Kelly, M., Sinha, A., Namkoong, H., Tedrake, R., Duchi, J.C.: Scalable end-to-end autonomous vehicle testing via rare-event simulation. Advances in Neural Information Processing Systems 31
2018
Later among the works it cites.
Ruan, W., Huang, X., Kwiatkowska, M.: Reachability analysis of deep neural networks with provable guarantees. In: Lang, J. (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. pp. 2651–2659. ijcai.org (2018). https://doi.org/10.24963/ijcai.2018/368, https://doi.org/10.24963/ijcai.2018/368
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2016
Cited alongside, same era.
2016
Cited alongside, same era.
2016
Cited alongside, same era.
Abbas, H., O’Kelly, M., Rodionova, A., Mangharam, R.: Safe at any speed: A simulation-based test harness for autonomous vehicles. In: 7th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy17) (October 2017)
2017
Cited alongside, same era.
2017
Cited alongside, same era.
Deshmukh, J.V., Donzé, A., Ghosh, S., Jin, X., Juniwal, G., Seshia, S.A.: Robust online monitoring of signal temporal logic. Formal Methods in System Design 51
2017
Cited alongside, same era.
Deshmukh, J.V., Horvat, M., Jin, X., Majumdar, R., Prabhu, V.S.: Testing cyber-physical systems through bayesian optimization. ACM Trans. Embedded Comput. Syst. 16
2017
Cited alongside, same era.
Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: CARLA: An open urban driving simulator. In: Proceedings of the 1st Annual Conference on Robot Learning. pp. 1–16 (2017)
2017
Cited alongside, same era.
2018
Later among the works it cites.
Tian, Y., Pei, K., Jana, S., Ray, B.: Deeptest: Automated testing of deep-neural-network-driven autonomous cars. In: Proceedings of the 40th International Conference on Software Engineering. pp. 303–314. ACM (2018)
2018
Later among the works it cites.
Tuncali, C.E., Fainekos, G.E., Ito, H., Kapinski, J.: Sim-atav: Simulation-based adversarial testing framework for autonomous vehicles. In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018. pp. 283–284. ACM (2018). https://doi.org/10.1145/3178126.3187004, http://doi.acm.org/10.1145/3178126.3187004
2018
Later among the works it cites.
Wicker, M., Huang, X., Kwiatkowska, M.: Feature-guided black-box safety testing of deep neural networks. In: Beyer, D., Huisman, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I. Lecture Notes in Computer Science, vol. 10805, pp. 408–426. Springer (2018). https://doi.org/10.1007/978-3-319-89960-2_22, https://doi.org/10.1007/978-3-319-89960-2˙22
2018
Later among the works it cites.
American Fuzzy Loop: Technical “whitepaper” for afl-fuzz, –http://lcamtuf.coredump.cx/afl/technical˙details.txt˝ , accessed: 2019-08-23
2019
Closest in time.
Association for Advancement of international Standardization of Automation and Measuring Systems (ASAM): Opendrive (2018), http://www.opendrive.org/index.html , accessed: 2019-08-21
2019
Closest in time.
Association for Advancement of international Standardization of Automation and Measuring Systems (ASAM): Openscenario (2018), http://www.opendrive.org/index.html , accessed: 2019-08-21
2019
Closest in time.
Dutta, S., Chen, X., Jha, S., Sankaranarayanan, S., Tiwari, A.: Sherlock - A tool for verification of neural network feedback systems: demo abstract. In: Ozay, N., Prabhakar, P. (eds.) Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. pp. 262–263. ACM (2019). https://doi.org/10.1145/3302504.3313351, https://doi.org/10.1145/3302504.3313351
2019
Closest in time.
Foundation, O.S.R.: Vehicle simulation in gazebo, http://gazebosim.org/blog/vehicle%20simulation , accessed: 2019-08-23
2019
Closest in time.
Fremont, D.J., Dreossi, T., Ghosh, S., Yue, X., Sangiovanni-Vincentelli, A.L., Seshia, S.A.: Scenic: A language for scenario specification and scene generation. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 63–78. PLDI 2019, ACM, New York, NY, USA (2019). https://doi.org/10.1145/3314221.3314633, http://doi.acm.org/10.1145/3314221.3314633
2019
Closest in time.
Gambi, A., Huynh, T., Fraser, G.: Generating effective test cases for self-driving cars from police reports. In: Dumas, M., Pfahl, D., Apel, S., Russo, A. (eds.) Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019. pp. 257–267. ACM (2019). https://doi.org/10.1145/3338906.3338942, https://doi.org/10.1145/3338906.3338942
2019
Closest in time.
Gambi, A., Müller, M., Fraser, G.: Automatically testing self-driving cars with search-based procedural content generation. In: Zhang, D., Møller, A. (eds.) Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. pp. 318–328. ACM (2019). https://doi.org/10.1145/3293882.3330566, https://doi.org/10.1145/3293882.3330566
2019
Closest in time.
Gladisch, C., Heinz, T., Heinzemann, C., Oehlerking, J., von Vietinghoff, A., Pfitzer, T.: Experience paper: Search-based testing in automated driving control applications. In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). pp. 26–37 (2019)
2019
Closest in time.
Kim, J., Feldt, R., Yoo, S.: Guiding deep learning system testing using surprise adequacy. In: Proceedings of the 41st International Conference on Software Engineering. pp. 1039–1049. ICSE ’19, IEEE Press, Piscataway, NJ, USA (2019). https://doi.org/10.1109/ICSE.2019.00108, https://doi.org/10.1109/ICSE.2019.00108
2019
Closest in time.
Li, Z., Ma, X., Xu, C., Cao, C.: Structural coverage criteria for neural networks could be misleading. In: Sarma, A., Murta, L. (eds.) Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2019, Montreal, QC, Canada, May 29-31, 2019. pp. 89–92. IEEE / ACM (2019), https://dl.acm.org/citation.cfm?id=3339171
2019
Closest in time.
Majzik, I., Semeráth, O., Hajdu, C., Marussy, K., Szatmári, Z., Micskei, Z., Vörös, A., Babikian, A.A., Varró, D.: Towards system-level testing with coverage guarantees for autonomous vehicles. In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS). pp. 89–94 (2019). https://doi.org/10.1109/MODELS.2019.00-12
2019
Closest in time.
Mockito: Tasty mocking framework for unit tests in java, http://site.mockito.org , accessed: 2019-08-23
2019
Closest in time.
ReactiveX: Reactivex, http://reactivex.io/ , accessed: 2019-08-23
2019
Closest in time.
2019
Closest in time.
Udacity: Self-driving car simulator, https://github.com/udacity/self-driving-car-sim , accessed: 2019-08-23
2019
Closest in time.
Unity3D: Unity game engine, https://unity3d.com/ , accessed: 2019-08-23
2019
Closest in time.