Fetching the paper…
Reading the bibliography…
Property-based testing (PBT), while an established technique in the software testing research community, is still relatively underused in real-world software.
J. B. Goodenough and S. L. Gerhart, “Toward a theory of test data selection,” in Proceedings of the international conference on Reliable software , 1975, pp. 493–510
1975
Earlier work this paper cites.
R. DeMillo, R. Lipton, and F. Sayward, “Hints on test data selection: Help for the practicing programmer,” Computer , vol. 11, no. 4, pp. 34–41, 1978
1978
Earlier work this paper cites.
P. G. Frankl and O. Iakounenko, “Further empirical studies of test effectiveness,” in Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering , 1998, pp. 153–162
1998
Earlier work this paper cites.
K. Claessen and J. Hughes, “Quickcheck: a lightweight tool for random testing of haskell programs,” in Proceedings of the fifth ACM SIGPLAN international conference on Functional programming , 2000, pp. 268–279
2000
Earlier work this paper cites.
T. Arts, J. Hughes, J. Johansson, and U. Wiger, “Testing telecoms software with quviq quickcheck,” in Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang , 2006, pp. 2–10
2006
Earlier work this paper cites.
C. Pacheco and M. D. Ernst, “Randoop: feedback-directed random testing for Java,” in Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion , 2007, pp. 815–816
2007
Earlier work this paper cites.
B. J. Grün, D. Schuler, and A. Zeller, “The impact of equivalent mutants,” in 2009 International Conference on Software Testing, Verification, and Validation Workshops . IEEE, 2009, pp. 192–199
2009
Earlier work this paper cites.
G. Fraser and A. Zeller, “Mutation-driven generation of unit tests and oracles,” in Proceedings of the 19th International Symposium on Software Testing and Analysis , ser. ISSTA ’10. New York, NY, USA: Association for Computing Machinery, 2010, p. 147–158. [Online]. Available: https://doi.org/10.1145/1831708.1831728
2010
Earlier work this paper cites.
G. Fraser and A. Arcuri, “Evosuite: automatic test suite generation for object-oriented software,” in Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering , 2011, pp. 416–419
2011
Earlier work this paper cites.
G. Fraser and A. Arcuri, “A large-scale evaluation of automated unit test generation using evosuite,” ACM Transactions on Software Engineering and Methodology (TOSEM) , vol. 24, no. 2, pp. 1–42, 2014
2014
Earlier work this paper cites.
R. Just, M. D. Ernst, and G. Fraser, “Efficient mutation analysis by propagating and partitioning infected execution states,” in Proceedings of the 2014 international symposium on software testing and analysis , 2014, pp. 315–326
2014
Earlier work this paper cites.
T. Arts, J. Hughes, U. Norell, and H. Svensson, “Testing autosar software with quickcheck,” in 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) . IEEE, 2015, pp. 1–4
2015
Earlier work this paper cites.
S. Shamshiri, R. Just, J. M. Rojas, G. Fraser, P. McMinn, and A. Arcuri, “Do automatically generated unit tests find real faults? an empirical study of effectiveness and challenges (t),” in 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 2015, pp. 201–211
2015
Earlier work this paper cites.
J. Hughes, “Experiences with quickcheck: testing the hard stuff and staying sane,” in A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday . Springer, 2016, pp. 169–186
2016
Earlier work this paper cites.
J. Hughes, B. C. Pierce, T. Arts, and U. Norell, “Mysteries of dropbox: property-based testing of a distributed synchronization service,” in 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) . IEEE, 2016, pp. 135–145
2016
Earlier work this paper cites.
A. Goffi, A. Gorla, M. D. Ernst, and M. Pezzè, “Automatic generation of oracles for exceptional behaviors,” in Proceedings of the 25th International Symposium on Software Testing and Analysis , ser. ISSTA 2016. New York, NY, USA: Association for Computing Machinery, 2016, p. 213–224. [Online]. Available: https://doi.org/10.1145/2931037.2931061
2016
Earlier work this paper cites.
R. Padhye, C. Lemieux, and K. Sen, “JQF: coverage-guided property-based testing in Java,” in Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis , 2019, pp. 398–401
2019
Earlier work this paper cites.
D. R. MacIver, Z. Hatfield-Dodds et al. , “Hypothesis: A new approach to property-based testing,” Journal of Open Source Software , vol. 4, no. 43, p. 1891, 2019
2019
Earlier work this paper cites.
L. Lampropoulos, M. Hicks, and B. C. Pierce, “Coverage guided, property based testing,” Proceedings of the ACM on Programming Languages , vol. 3, no. OOPSLA, pp. 1–29, 2019
2019
Earlier work this paper cites.
2019
Earlier work this paper cites.
R. Padhye, C. Lemieux, K. Sen, M. Papadakis, and Y. Le Traon, “Semantic Fuzzing with Zest,” in Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis , 2019, pp. 329–340
2019
Earlier work this paper cites.
D. Babić, S. Bucur, Y. Chen, F. Ivančić, T. King, M. Kusano, C. Lemieux, L. Szekeres, and W. Wang, “Fudge: fuzz driver generation at scale,” in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering , 2019, pp. 975–985
2019
Earlier work this paper cites.
T. Brown, B. Mann, N. Ryder, M. Subbiah, J. D. Kaplan, P. Dhariwal, A. Neelakantan, P. Shyam, G. Sastry, A. Askell et al. , “Language models are few-shot learners,” Advances in neural information processing systems , vol. 33, pp. 1877–1901, 2020
2020
Earlier work this paper cites.
C. Watson, M. Tufano, K. Moran, G. Bavota, and D. Poshyvanyk, “On learning meaningful assert statements for unit test cases,” in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering , 2020, pp. 1398–1409
2020
Earlier work this paper cites.
S. Reddy, C. Lemieux, R. Padhye, and K. Sen, “Quickly generating diverse valid test inputs with reinforcement learning,” in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering , 2020, pp. 1410–1421
2020
Cited alongside, same era.
K. K. Ispoglou, D. Austin, V. Mohan, and M. Payer, “Fuzzgen: Automatic fuzzer generation,” in Proceedings of the 29th USENIX Conference on Security Symposium , 2020, pp. 2271–2287
2020
Cited alongside, same era.
2021
Cited alongside, same era.
2021
Cited alongside, same era.
C. Lemieux, J. P. Inala, S. K. Lahiri, and S. Sen, “Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,” in 45th International Conference on Software Engineering, ser. ICSE , 2023
2023
Closest in time.
M. Schäfer, S. Nadi, A. Eghbali, and F. Tip, “Adaptive test generation using a large language model,” 2023
2023
Closest in time.
M. Schäfer, S. Nadi, A. Eghbali, and F. Tip, “An empirical evaluation of using large language models for automated unit test generation,” IEEE Transactions on Software Engineering , 2023
2023
Closest in time.
2023
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2021
Cited alongside, same era.
2021
Cited alongside, same era.
A. Blasi, A. Gorla, M. D. Ernst, M. Pezzè, and A. Carzaniga, “MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation,” Journal of Systems and Software , vol. 181, p. 111041, 2021. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S0164121221001382
2021
Cited alongside, same era.
2022
Cited alongside, same era.
L. Ouyang, J. Wu, X. Jiang, D. Almeida, C. Wainwright, P. Mishkin, C. Zhang, S. Agarwal, K. Slama, A. Ray et al. , “Training language models to follow instructions with human feedback,” Advances in Neural Information Processing Systems , vol. 35, pp. 27 730–27 744, 2022
2022
Cited alongside, same era.
S. Lahiri, A. Naik, G. Sakkas, P. Choudhury, C. von Veh, M. Musuvathi, J. P. Inala, C. Wang, and J. Gao, “Interactive code generation via test-driven user-intent formalization,” arXiv, August 2022. [Online]. Available: https://www.microsoft.com/en-us/research/publication/interactive-code-generation-via-test-driven-user-intent-formalization/
2022
Cited alongside, same era.
2022
Cited alongside, same era.
2022
Cited alongside, same era.
P. Liu, W. Yuan, J. Fu, Z. Jiang, H. Hayashi, and G. Neubig, “Pre-train, prompt, and predict: A systematic survey of prompting methods in natural language processing,” ACM Computing Surveys , vol. 55, no. 9, pp. 1–35, 2023
2023
Closest in time.
R. Li, L. Ben Allal, Y. Zi, N. Muennighoff, D. Kocetkov, C. Mou, M. Marone, C. Akiki, J. Li, J. Chim, Q. Liu, E. Zheltonozhskii, T. Y. Zhuo, T. Wang, O. Dehaene, M. Davaadorj, J. Lamy-Poirier, J. Monteiro, O. Shliazhko, N. Gontier, N. Meade, A. Randy, M.-H. Yee, L. K. Umapathi, J. Zhu, B. Lipkin, M. Oblokulov, Z. Wang, R. Murthy, J. Stillerman, S. S. Patel, D. Abulkhanov, M. Zocca, M. Dey, Z. Zhang, N. Fahmy, U. Bhattacharyya, S. Gunasekar, W. Yu, S. Singh, S. Luccioni, P. Villegas, M. Kunakov, F. Zhdanov, M. Romero, T. Lee, N. Timor, J. Ding, C. Schlesinger, H. Schoelkopf, J. Ebert, T. Dao, M. Mishra, A. Gu, J. Robinson, C. J. Anderson, B. Dolan-Gavitt, D. Contractor, S. Reddy, D. Fried, D. Bahdanau, Y. Jernite, C. M. Ferrandis, S. Hughes, T. Wolf, A. Guha, L. von Werra, and H. de Vries, “STARCODER: May the Source be With You!” 2023. [Online]. Available: https://drive.google.com/file/d/1cN-b9GnWtHzQRoE7M7gAEyivY0kl4BYs/view
2023
Closest in time.
2023
Closest in time.
——, “Examining zero-shot vulnerability repair with large language models,” in 2023 2023 IEEE Symposium on Security and Privacy (SP) (SP) . Los Alamitos, CA, USA: IEEE Computer Society, may 2023, pp. 1–18. [Online]. Available: https://doi.ieeecomputersociety.org/10.1109/SP46215.2023.00001
2023
Closest in time.
2023
Closest in time.
2023
Closest in time.
2023
Closest in time.
N. Rao, K. Jain, U. Alon, C. Le Goues, and V. J. Hellendoorn, “Cat-lm training language models on aligned code and tests,” in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 2023, pp. 409–420
2023
Closest in time.
A. Blasi, A. Gorla, M. D. Ernst, and M. Pezzè, “Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints,” in Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering , ser. ASE ’22. New York, NY, USA: Association for Computing Machinery, 2023. [Online]. Available: https://doi.org/10.1145/3551349.3556961
2023
Closest in time.
B. Jeong, J. Jang, H. Yi, J. Moon, J. Kim, I. Jeon, T. Kim, W. Shim, and Y. Hwang, “Utopia: Automatic generation of fuzz driver using unit tests,” in 2023 2023 IEEE Symposium on Security and Privacy (SP) (SP) . Los Alamitos, CA, USA: IEEE Computer Society, may 2023, pp. 746–762. [Online]. Available: https://doi.ieeecomputersociety.org/10.1109/SP46215.2023.00043
2023
Closest in time.
H. Goldstein, J. W. Cutler, D. Dickstein, B. C. Pierce, and A. Head, “Property-based testing in practice,” in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) . IEEE Computer Society, 2024, pp. 971–971
2024
Closest in time.
2024
Closest in time.
D. Liu, J. Metzman, and O. Chang, “Open Source Insights,” https://security.googleblog.com/2023/08/ai-powered-fuzzing-breaking-bug-hunting.html , 2023, retrieved February 27, 2024
2024
Closest in time.
2024
Closest in time.
Anthropic, “Introducing the next generation of Claude,” https://www.anthropic.com/news/claude-3-family , retrieved April 1, 2024
2024
Closest in time.
2024
Closest in time.
2024
Closest in time.
2024
Closest in time.
C. S. Xia, M. Paltenghi, J. Le Tian, M. Pradel, and L. Zhang, “Fuzz4all: Universal fuzzing with large language models,” Proc. IEEE/ACM ICSE , 2024
2024
Closest in time.