PanLinx: code-based testing