public string FooTest( [PexAssumeUnderTest] Bar target, Foo iksDee, bool b, bool c ) { PexAssume.IsNotNull(iksDee); string result = target.Foo(iksDee, b, c); PexAssume.IsNotNull(target); int i = PexChoose.Value <int>("i"); PexObserve.ValueForViewing <int>("yo_add_this_thing", i); PexObserve.Value <string>("Hello, World!", "Foo"); string helloWorld = PexChoose.Value <string>("Hello, World!"); Console.WriteLine(helloWorld); return(result); // TODO: add assertions to method BarTest.FooTest(Bar, Foo, Boolean, Boolean) }