Fetching the paper…
Reading the bibliography…
We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs managing accounts on a blockchain.
N. Metropolis, A. W. Rosenbluth, M. N. Rosenbluth, A. H. Teller, and E. Teller, ‘‘Equation of state calculations by fast computing machines,’’
1953
Earlier work this paper cites.
W. Miller and D. L. Spooner, ‘‘Automatic generation of floating-point test data,’’
1976
Earlier work this paper cites.
S. Kirkpatrick, C. D. Gelatt Jr., and M. P. Vecchi, ‘‘Optimization by simulated annealing,’’
1983
Earlier work this paper cites.
B. Korel, ‘‘Automated software test data generation,’’
1990
Earlier work this paper cites.
R. P. Pargas, M. J. Harrold, and R. Peck, ‘‘Test-data generation using genetic algorithms,’’
1999
Earlier work this paper cites.
K. Claessen and J. Hughes, ‘‘QuickCheck: A lightweight tool for random testing of Haskell programs,’’ in
2000
Earlier work this paper cites.
A. Vargha and H. D. Delaney, ‘‘A critique and improvement of the CL common language effect size statistics of McGraw and Wong,’’
2000
Earlier work this paper cites.
C. Csallner and Y. Smaragdakis, ‘‘JCrasher: An automatic robustness tester for Java,’’
2004
Earlier work this paper cites.
P. McMinn, ‘‘Search-based software test data generation: A survey,’’
2004
Earlier work this paper cites.
P. Tonella, ‘‘Evolutionary testing of classes,’’ in
2004
Earlier work this paper cites.
P. Godefroid, N. Klarlund, and K. Sen, ‘‘DART: Directed automated random testing,’’ in
2005
Earlier work this paper cites.
C. Cadar and D. R. Engler, ‘‘Execution generated test cases: How to make systems code crash itself,’’ in
2005
Earlier work this paper cites.
T. Xie, D. Marinov, W. Schulte, and D. Notkin, ‘‘Symstra: A framework for generating object-oriented unit tests using symbolic execution,’’ in
2005
Earlier work this paper cites.
C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler, ‘‘EXE: Automatically generating inputs of death,’’ in
2006
Earlier work this paper cites.
K. Sen and G. Agha, ‘‘CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools,’’ in
2006
Earlier work this paper cites.
C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball, ‘‘Feedback-directed random test generation,’’ in
2007
Earlier work this paper cites.
S. Sparks, S. Embleton, R. Cunningham, and C. C. Zou, ‘‘Automated vulnerability analysis: Leveraging control flow for evolutionary input crafting,’’ in
2007
Earlier work this paper cites.
K. Inkumsah and T. Xie, ‘‘Evacon: A framework for integrating evolutionary and concolic testing for object-oriented programs,’’ in
2007
Earlier work this paper cites.
P. Godefroid, M. Y. Levin, and D. A. Molnar, ‘‘Automated whitebox fuzz testing,’’ in
2008
Earlier work this paper cites.
C. Cadar, D. Dunbar, and D. R. Engler, ‘‘KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs,’’ in
2008
Earlier work this paper cites.
N. Tillmann and J. de Halleux, ‘‘Pex---White box test generation for .NET,’’ in
2008
Earlier work this paper cites.
D. X. Song, D. Brumley, H. Yin, J. Caballero, I. Jager, M. G. Kang, Z. Liang, J. Newsome, P. Poosankam, and P. Saxena, ‘‘BitBlaze: A new approach to computer security via binary analysis,’’ in
2008
Earlier work this paper cites.
V. Ganesh, T. Leek, and M. C. Rinard, ‘‘Taint-based directed whitebox fuzzing,’’ in
2009
Earlier work this paper cites.
S. Thummalapenta, T. Xie, N. Tillmann, J. de Halleux, and W. Schulte, ‘‘MSeqGen: Object-oriented unit-test generation via mining source code,’’ in
2009
Cited alongside, same era.
S. Artzi, A. Kiezun, J. Dolby, F. Tip, D. Dig, A. M. Paradkar, and M. D. Ernst, ‘‘Finding bugs in web applications using dynamic test generation and explicit-state model checking,’’
2010
Cited alongside, same era.
K. Lakhotia, N. Tillmann, M. Harman, and J. de Halleux, ‘‘Flopsy---Search-based floating point constraint solving for symbolic execution,’’ in
2010
Cited alongside, same era.
V. Chipounov, V. Kuznetsov, and G. Candea, ‘‘S2E: A platform for in-vivo multi-path analysis of software systems,’’ in
2011
Cited alongside, same era.
M. Souza, M. Borges, M. d’Amorim, and C. S. Pasareanu, ‘‘CORAL: Solving complex constraints for symbolic PathFinder,’’ in
2011
D. Tapscott and A. Tapscott,
2016
Later among the works it cites.
N. Stephens, J. Grosen, C. Salls, A. Dutcher, R. Wang, J. Corbetta, Y. Shoshitaishvili, C. Kruegel, and G. Vigna, ‘‘Driller: Augmenting fuzzing through selective symbolic execution,’’ in
2016
Later among the works it cites.
L. Luu, D. Chu, H. Olickel, P. Saxena, and A. Hobor, ‘‘Making smart contracts smarter,’’ in
2016
Later among the works it cites.
V. Pham, M. Böhme, and A. Roychoudhury, ‘‘Model-based whitebox fuzzing for program binaries,’’ in
2016
Later among the works it cites.
K. Bhargavan, A. Delignat-Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N. Kulatova, A. Rastogi, T. Sibut-Pinote, N. Swamy, and S. Zanella-Béguelin, ‘‘Formal verification of smart contracts: Short paper,’’ in
2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
G. Fraser and A. Arcuri, ‘‘EvoSuite: Automatic test suite generation for object-oriented software,’’ in
2011
Cited alongside, same era.
S. Thummalapenta, T. Xie, N. Tillmann, J. de Halleux, and Z. Su, ‘‘Synthesizing method sequences for high-coverage testing,’’ in
2011
Cited alongside, same era.
S. Zhang, D. Saff, Y. Bu, and M. D. Ernst, ‘‘Combined static and dynamic automated test generation,’’ in
2011
Cited alongside, same era.
S. K. Cha, T. Avgerinos, A. Rebert, and D. Brumley, ‘‘Unleashing Mayhem on binary code,’’ in
2012
Cited alongside, same era.
J. Geldenhuys, M. B. Dwyer, and W. Visser, ‘‘Probabilistic symbolic execution,’’ in
2012
Cited alongside, same era.
B. S. Pak, ‘‘Master’s thesis ‘‘Hybrid Fuzz Testing: Discovering Software Bugs via Fuzzing and Symbolic Execution’’,’’ 2012, school of Computer Science, Carnegie Mellon University, USA
2012
Cited alongside, same era.
M. Woo, S. K. Cha, S. Gottlieb, and D. Brumley, ‘‘Scheduling black-box mutational fuzzing,’’ in
2013
Cited alongside, same era.
S. Rawat, V. Jain, A. Kumar, L. Cojocar, C. Giuffrida, and H. Bos, ‘‘VUzzer: Application-aware evolutionary fuzzing,’’ in
2017
Later among the works it cites.
M. Böhme, V. Pham, M. Nguyen, and A. Roychoudhury, ‘‘Directed greybox fuzzing,’’ in
2017
Later among the works it cites.
M. Bartoletti and L. Pompianu, ‘‘An empirical analysis of smart contracts: Platforms, applications, and design patterns,’’ in
2017
Later among the works it cites.
Z. Fu and Z. Su, ‘‘Achieving high coverage for floating-point code via unconstrained programming,’’ in
2017
Later among the works it cites.
N. Atzei, M. Bartoletti, and T. Cimoli, ‘‘A survey of attacks on Ethereum smart contracts,’’ in
2017
Later among the works it cites.
T. Chen, X. Li, X. Luo, and X. Zhang, ‘‘Under-optimized smart contracts devour your money,’’ in
2017
Later among the works it cites.
I. Sergey and A. Hobor, ‘‘A concurrent perspective on smart contracts,’’ in
2017
Later among the works it cites.
G. Klees, A. Ruef, B. Cooper, S. Wei, and M. Hicks, ‘‘Evaluating fuzz testing,’’ in
2018
Later among the works it cites.
B. Jiang, Y. Liu, and W. K. Chan, ‘‘ContractFuzzer: Fuzzing smart contracts for vulnerability detection,’’ in
2018
Later among the works it cites.
P. Chen and H. Chen, ‘‘Angora: Efficient fuzzing by principled search,’’ in
2018
Later among the works it cites.
K. Chatterjee, A. K. Goharshady, and Y. Velner, ‘‘Quantitative analysis of smart contracts,’’ in
2018
Later among the works it cites.
S. Amani, M. Bégel, M. Bortin, and M. Staples, ‘‘Towards verifying Ethereum smart contract bytecode in Isabelle/HOL,’’ in
2018
Later among the works it cites.
2018
Later among the works it cites.
N. Grech, M. Kong, A. Jurisevic, L. Brent, B. Scholz, and Y. Smaragdakis, ‘‘MadMax: Surviving out-of-gas conditions in Ethereum smart contracts,’’
2018
Later among the works it cites.
S. Grossman, I. Abraham, G. Golan-Gueta, Y. Michalevsky, N. Rinetzky, M. Sagiv, and Y. Zohar, ‘‘Online detection of effectively callback free objects with applications to smart contracts,’’
2018
Later among the works it cites.
S. Kalra, S. Goel, M. Dhawan, and S. Sharma, ‘‘ZEUS: Analyzing safety of smart contracts,’’ in
2018
Later among the works it cites.
I. Nikolic, A. Kolluri, I. Sergey, P. Saxena, and A. Hobor, ‘‘Finding the greedy, prodigal, and suicidal contracts at scale,’’ pp. 653--663, 2018
2018
Later among the works it cites.
P. Tsankov, A. M. Dan, D. Drachsler-Cohen, A. Gervais, F. Bünzli, and M. T. Vechev, ‘‘Securify: Practical security analysis of smart contracts,’’ in
2018
Later among the works it cites.