Directed Incremental Symbolic Execution
- 期刊名称ACM Transactions on Software Engineering and Methodology
- 作者Yang, Guowei; Person, Suzette; Rungta, Neha; Khurshid, Sarfraz
- 卷第24卷
- 期第1期
- 印刷ISSN1049-331X
- 文件大小1428.66KB
- 发表时间2014-10-07
- DOI10.1145/2629536
- 页码1-42
LaboratoriumsgeräteG. Valensi; R. H. Crist; F. B. Brown; L. Williams; A. H. Wilson Busby; L. S. Echols; M. A. Smith; F. L. Hayes; C. H. Townes; H. K. Alber; A. Knoll; J. Schukal; E. P. Barrett; W. E. Holbrook; J. S. Blair; A. V. Grosse; W. N. Ipatjew; H. J. Hall; G. B. Bachman; A. Klemenc; A. Stock; H. Kühne; A. Bellmann; J. Haller; W. H. Albrecht; K. P. GRohr; H. Hillemann; H. A. Wilhelm; W. MacNevin; H. S. Clark; K. R. More; R. F. Humphreys; W. W. Watson; P. A. Anderson; G. Atchison; D. O. Holland; H. Sieben; T. Langer · 1944
[IEEE 1997 European Control Conference (ECC) - Brussels (1997.7.1-1997.7.7)] 1997 European Control Conference (ECC) - IMMPDA solution to benchmark for radar resource allocation and tracking in the presence of ECMKirubarajan, T.; Bar-Shalom, Y.; Blair, W. D.; Watson, G. A. · 1997
Irish paediatric association and welsh paediatric societyA. Brennan; M. Byrne; A. Gorby; H. Hoey; A. Alfaham; M. C. Goodchild; I. A. Campbell; R. Newcombe; C. Philpot; R. Fifield; J. Edwards; T. Conlon; E. Griffin; T. Clarke; I. Hilary; A. O’Connor; J. Walsh; J. F. T. Glasgow; P. H. Robinson; R. Moore; J. Crane; P. McKiernan; Gay Fox; Siobhan Gormally; Laurel Blakemore; T. Matthews; P. MacMahon; M. E. Blair; I. Z. Treweeke; Kovar; Alison Kemp; Jo Sibert; Alison Kemp; Jo Sibert; E. Naughton; D. Gill; O. Hensey; S. Cahalane; D. Murphy; A. Pierce; J. B. C. Watson; C. McKenna; A. Flynn; P. A. Morrissey; A. Sweetnam; E. T. O’Haloran; M. Read; G. Owen; S. Dawson; B. A. Madarikn; B. I. Rees; M. C. Goodchild; T. Lynch; J. McMenamin; S. J. Wallace; V. M. Dowding; C. Barry; M. J. Earley; R. Fitzgerald; J. Philips; M. Garvey; V. B. Donoghue; W. A. Gorman; N. O’Brien; J. F. A. Murphy; W. Reardon; S. Genet; H. Middleton-Price; C. Feighery; P. Rowland; R. T. Jones; M. Doggah; D. C. Costigan; P. Leavy; F. Breathnach; O. Hensey; C. Fitzpatrick; P. Keenan; M. T. Corbally; P. Ryan; A. Nanshanie; J. Fitzpatrick; R. J. Fitzgerald; R. Dohil; V. Jones; H. Jenkins; E. Roberts; P. J. Lee; V. Jones; A. Kurien; E. O’Donoghue; O. C. Ward; B. Denham; D. Duff; S. J. Rao; E. H. Aburawi; B. Denham; E. H. Aburawi; D. C. Ward; B. Denham · Irish Journal of Medical Science (1971 -) · 1991