automated testing for nanosatisfi purposes