computer programs for automated white-box structural test-case generation dynamic software testability assessment, mutation, testing, mutation-adequate test-case generation, hardware-failure simulation, catastrophic event prediction, and dynamic software safety analysis

'adequ':21 'analysi':37 'assess':16 'autom':4 'box':7 'case':11,24 'catastroph':30 'comput':1 'dynam':13,34 'event':31 'failur':28 'generat':12,25 'hardwar':27 'hardware-failur':26 'mutat':17,20 'mutation-adequ':19 'predict':32 'program':2 'safeti':36 'simul':29 'softwar':14,35 'structur':8 'test':10,18,23 'test-cas':9,22 'testabl':15 'white':6 'white-box':5

PISCES SOFTWARE ANALYSIS TOOLKIT

Owners

Goods & Services