TY - JOUR AU - Cadar, C. AU - Sen, K. PY - 2013 DA - 2013// TI - Symbolic execution for software testing: three decades later JO - Commun. ACM VL - 56 UR - https://doi.org/10.1145/2408776.2408795 DO - 10.1145/2408776.2408795 ID - Cadar2013 ER - TY - JOUR AU - Păsăreanu, C. S. AU - Visser, W. PY - 2009 DA - 2009// TI - A survey of new trends in symbolic execution for software testing and analysis JO - Int J Soft Tools Technol. Transfer VL - 11 UR - https://doi.org/10.1007/s10009-009-0118-1 DO - 10.1007/s10009-009-0118-1 ID - Păsăreanu2009 ER - TY - STD TI - K Sen, D Marinov, G Agha, in Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ESEC/FSE-13. CUTE: a concolic unit testing engine for C (ACMNew York,2005), pp. 263–272. doi:http://dx.doi.org/10.1145/1081706.1081750. UR - http://dx.doi.org/10.1145/1081706.1081750 ID - ref3 ER - TY - STD TI - P Godefroid, N Klarlund, K Sen, DART: Directed automated random testing. SIGPLAN Not.40(6), 213–223 (2005). doi:http://dx.doi.org/10.1145/1064978.1065036. UR - http://dx.doi.org/10.1145/1064978.1065036 ID - ref4 ER - TY - STD TI - P Godefroid, MY Levin, D Molnar, SAGE: whitebox fuzzing for security testing. Commun. ACM. 55(3), 40 (2012). doi:http://dx.doi.org/10.1145/2093548.2093564. UR - http://dx.doi.org/10.1145/2093548.2093564 ID - ref5 ER - TY - BOOK AU - Takanen, A. AU - DeMott, J. AU - Miller, C. PY - 2008 DA - 2008// TI - Fuzzing for Software Security Testing and Quality Assurance. 1st edn. PB - Artech House, Inc. CY - Norwood ID - Takanen2008 ER - TY - BOOK AU - Sutton, M. AU - Greene, A. AU - Amini, P. PY - 2007 DA - 2007// TI - Fuzzing: Brute Force Vulnerability Discovery. 1st edn. PB - Addison-Wesley Professional CY - Boston ID - Sutton2007 ER - TY - JOUR AU - Lenz, F. AU - Ings, T. C. AU - Chittka, L. AU - Chechkin, A. V. AU - Klages, R. PY - 2012 DA - 2012// TI - Spatiotemporal dynamics of bumblebees foraging under predation risk JO - Phys. Rev. Lett. VL - 108 UR - https://doi.org/10.1103/PhysRevLett.108.098103 DO - 10.1103/PhysRevLett.108.098103 ID - Lenz2012 ER - TY - JOUR AU - Viswanathan, G. M. PY - 2010 DA - 2010// TI - Ecology: Fish in Lévy-flight foraging JO - Nature VL - 465 UR - https://doi.org/10.1038/4651018a DO - 10.1038/4651018a ID - Viswanathan2010 ER - TY - JOUR AU - Humphries, N. E. AU - Queiroz, N. AU - Dyer, J. R. AU - Pade, N. G. AU - Musyl, M. K. AU - Schaefer, K. M. AU - Fuller, D. W. AU - Brunnschweiler, J. M. AU - Doyle, T. K. AU - Houghton, J. D. PY - 2010 DA - 2010// TI - Environmental context explains Lévy and Brownian movement patterns of marine predators JO - Nature VL - 465 UR - https://doi.org/10.1038/nature09116 DO - 10.1038/nature09116 ID - Humphries2010 ER - TY - STD TI - D Austin, WD Bowen, JI McMillan, Intraspecific variation in movement patterns: modeling individual behaviour in a large marine predator. Oikos. 105:, 15–30 (2004). doi:http://dx.doi.org/10.1111/j.0030-1299.1999.12730.x. UR - http://dx.doi.org/10.1111/j.0030-1299.1999.12730.x ID - ref11 ER - TY - JOUR AU - Ramos-Fernández, G. AU - Mateos, J. L. AU - Miramontes, O. AU - Cocho, G. AU - Larralde, H. AU - Ayala-Orozco, B. PY - 2004 DA - 2004// TI - Lévy walk patterns in the foraging movements of spider monkeys (Ateles geoffroyi) JO - Behav. Ecol. Sociobiol. VL - 55 UR - https://doi.org/10.1007/s00265-003-0700-6 DO - 10.1007/s00265-003-0700-6 ID - Ramos-Fernández2004 ER - TY - JOUR AU - Viswanathan, G. M. AU - Afanasyev, V. AU - Buldyrev, S. AU - Murphy, E. AU - Prince, P. AU - Stanley, H. E. PY - 1996 DA - 1996// TI - Lévy flight search patterns of wandering albatrosses JO - Nature VL - 381 UR - https://doi.org/10.1038/381413a0 DO - 10.1038/381413a0 ID - Viswanathan1996 ER - TY - STD TI - A Mårell, JP Ball, A Hofgaard, Foraging and movement paths of female reindeer: insights from fractal analysis, correlated random walks, and Lévy flights. Can. J. Zoology-Revue Canadienne De Zoologie. 80:, 854–865 (2002). doi:http://dx.doi.org/10.1139/z02-061. UR - http://dx.doi.org/10.1139/z02-061 ID - ref14 ER - TY - JOUR AU - Bénichou, O. AU - Loverdo, C. AU - Moreau, M. AU - Voituriez, R. PY - 2011 DA - 2011// TI - Intermittent search strategies JO - Rev. Mod. Phys. VL - 83 UR - https://doi.org/10.1103/RevModPhys.83.81 DO - 10.1103/RevModPhys.83.81 ID - Bénichou2011 ER - TY - JOUR AU - Harris, T. H. AU - Banigan, E. J. AU - Christian, D. A. AU - Konradt, C. AU - Wojno, E. D. T. AU - Norose, K. AU - Wilson, E. H. AU - John, B. AU - Weninger, W. AU - Luster, A. D. PY - 2012 DA - 2012// TI - Generalized Lévy walks and the role of chemokines in migration of effector CD8+ T cells JO - Nature VL - 486 ID - Harris2012 ER - TY - BOOK AU - Viswanathan, G. M. AU - Da Luz, M. G. AU - Raposo, E. P. AU - Stanley, H. E. PY - 2011 DA - 2011// TI - The Physics of Foraging: an Introduction to Random Searches and Biological Encounters PB - Cambridge University Press CY - Cambridge UR - https://doi.org/10.1017/CBO9780511902680 DO - 10.1017/CBO9780511902680 ID - Viswanathan2011 ER - TY - BOOK AU - Bonabeau, E. AU - Dorigo, M. AU - Theraulaz, G. PY - 1999 DA - 1999// TI - Swarm Intelligence: From Natural to Artificial Systems PB - Oxford University Press, Inc. CY - New York ID - Bonabeau1999 ER - TY - STD TI - K Böttinger, in 2016 IEEE Security and Privacy Workshops (SPW). Hunting bugs with Lévy flight foraging (IEEE Computer SocietyLos Alamitos, 2016), pp. 111–117. doi:http://dx.doi.org/10.1109/SPW.2016.9. UR - http://dx.doi.org/10.1109/SPW.2016.9 ID - ref19 ER - TY - STD TI - D Leon, A Podgurski, in Proceedings of the 14th International Symposium on Software Reliability Engineering. A comparison of coverage-based and distribution-based techniques for filtering and prioritizing test cases (IEEE Computer SocietyWashington, DC, 2003), pp. 442–456. doi:http://dx.doi.org/10.1109/ISSRE.2003.1251065. UR - http://dx.doi.org/10.1109/ISSRE.2003.1251065 ID - ref20 ER - TY - STD TI - G Rothermel, RH Untch, C Chu, MJ Harrold, in Proceedings of the IEEE International Conference on Software Maintenance. Test case prioritization: an empirical study (IEEE Computer SocietyWashington, DC, 1999), pp. 179–188. doi:http://dx.doi.org/10.1109/ICSM.1999.792604. UR - http://dx.doi.org/10.1109/ICSM.1999.792604 ID - ref21 ER - TY - CHAP AU - Rebert, A. AU - Cha, S. K. AU - Avgerinos, T. AU - Foote, J. AU - Warren, D. AU - Grieco, G. AU - Brumley, D. PY - 2014 DA - 2014// TI - Optimizing seed selection for fuzzing BT - Proceedings of the 23rd USENIX Conference on Security Symposium PB - USENIX Association CY - Berkeley ID - Rebert2014 ER - TY - STD TI - SK Cha, M Woo, D Brumley, in Proceedings of the 2015 IEEE Symposium on Security and Privacy. Program-adaptive mutational fuzzing (IEEE Computer SocietyWashington, DC, 2015), pp. 725–741. doi:http://dx.doi.org/10.1109/SP.2015.50. UR - http://dx.doi.org/10.1109/SP.2015.50 ID - ref23 ER - TY - STD TI - V Zaburdaev, S Denisov, J Klafter, Lévy walks. Rev. Mod. Phys.87:, 483–530 (2015). doi:http://dx.doi.org/10.1103/RevModPhys.87.483. UR - http://dx.doi.org/10.1103/RevModPhys.87.483 ID - ref24 ER - TY - JOUR AU - Chupeau, M. AU - Bénichou, O. AU - Voituriez, R. PY - 2015 DA - 2015// TI - Cover times of random searches JO - Nat. Phys. VL - 11 UR - https://doi.org/10.1038/nphys3413 DO - 10.1038/nphys3413 ID - Chupeau2015 ER - TY - STD TI - C-K Luk, R Cohn, R Muth, H Patil, A Klauser, G Lowney, S Wallace, VJ Reddi, K Hazelwood, in Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI ’05. Pin: Building customized program analysis tools with dynamic instrumentation (ACMNew York, 2005), pp. 190–200. doi:http://dx.doi.org/10.1145/1065010.1065034. UR - http://dx.doi.org/10.1145/1065010.1065034 ID - ref26 ER - TY - BOOK PY - 2008 DA - 2008// TI - R: A Language and Environment for Statistical Computing PB - R Foundation for Statistical Computing CY - Vienna ID - ref27 ER -