Solving the ignoring problem for partial order reduction. - Evangelista, Sami; Pajault, Christophe (International Journal on Software Tools for Technology Transfer, 2010)