Journal of Applied Mathematics / 2013 / Article / Fig 2

Research Article

A Latent Implementation Error Detection Method for Software Validation

Figure 2

The specification and implementation IOLTS models for the AVM software.
138287.fig.002a
(a)
138287.fig.002b
(b)
138287.fig.002c
(c)

We are committed to sharing findings related to COVID-19 as quickly and safely as possible. Any author submitting a COVID-19 paper should notify us at help@hindawi.com to ensure their research is fast-tracked and made available on a preprint server as soon as possible. We will be providing unlimited waivers of publication charges for accepted articles related to COVID-19. Sign up here as a reviewer to help fast-track new submissions.