Parameterized unit tests

N Tillmann, W Schulte - ACM SIGSOFT Software Engineering Notes, 2005 - dl.acm.org
… using closed unit tests defined as parameterless methods. Parameterized unit tests separate
two … : 1) They specify the external behavior of the involved methods for all test arguments. 2) …

Generating parameterized unit tests

G Fraser, A Zeller - … the 2011 international symposium on software testing …, 2011 - dl.acm.org
… When converting a concrete unit test to a parameterized unit test, we initially have very
specific but implicit preconditions, represented by the actual test inputs. Similarly, the test case …

Unit tests reloaded: Parameterized unit testing with symbolic execution

N Tillmann, W Schulte - IEEE software, 2006 - ieeexplore.ieee.org
… of good unit tests? We think the answer is yes. Parameterized unit tests4 are unit tests that
… PUTs describe behavior more concisely than traditional unit tests. We use symbolic execu…

Retrofitting unit tests for parameterized unit testing

S Thummalapenta, MR Marri, T Xie, N Tillmann… - … 2011, Held as Part of the …, 2011 - Springer
testing introduced parameterized unit tests (PUT), which accept parameters, unlike conventional
unit tests … describe the behaviors of methods under test for all test arguments. In general, …

Parameterized unit testing: Theory and practice

N Tillmann, J De Halleux, T Xie - Proceedings of the 32nd ACM/IEEE …, 2010 - dl.acm.org
… In order to address these issues and give guidance, this tutorial teaches the notion of
parameterized unit testing, test input generation by automated program analysis, and environment …

Parameterized unit tests with unit meister

N Tillmann, W Schulte - Proceedings of the 10th European software …, 2005 - dl.acm.org
… In parameterized unit testing we also use symbolic computation to derive test inputs, but
we do not split conditions into their disjunctive normal forms, instead we simply use the path …

Carving parameterized unit tests

A Kampmann, A Zeller - 2019 IEEE/ACM 41st International …, 2019 - ieeexplore.ieee.org
… a parameter. Instead of using the recorded value v, we now allow the fuzzer to insert a new
value v into the unit test… parameters of the carved parameterized unit test test_bc_add(p1, p2): …

Mutation analysis of parameterized unit tests

T Xie, N Tillmann, J De Halleux… - … on Software Testing …, 2009 - ieeexplore.ieee.org
… Recently parameterized unit testing has emerged as a promising and effective … -box test
inputs (ie, highcode-covering test inputs) by tools. A parameterized unit test (PUT) is simply a test

[PDF][PDF] Parameterized test patterns for effective testing with Pex

P de Halleux, N Tillmann - Copyright Microsoft, 2008 - Citeseer
… This paper contains common patterns for parameterized unit tests (… to parameterized unit
testing. Section 4 goes over various other concepts that are useful in parameterized unit testing

Parameterized Unit Testing with Pex: (Tutorial)

J De Halleux, N Tillmann - Tests and Proofs: Second International …, 2008 - Springer
Parameterized Unit Testing with Pex … We have seen earlier how parameterized unit tests
are a way to write general tests that do not have to state particular test inputs. In a similar way, …