Edit Profile Horwitz, Susan Compute Distance To: Compute Author ID: horwitz.susan Published as: Horwitz, Susan External Links: MGP · Wikidata Documents Indexed: 13 Publications since 1987 all top 5 Co-Authors 2 single-authored 3 Komondoor, Raghavan 3 Reps, Thomas W. 3 Yong, Suan Hsi 1 Chakaravarthy, Venkatesan T. 1 Demers, Alan J. 1 Kumar, Sumit 1 Loginov, Alexey 1 Sagiv, Mooly 1 Teitelbaum, Tim Serials 3 Acta Informatica 2 Theoretical Computer Science 1 Formal Methods in System Design Fields 13 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 7 Publications have been cited 28 times in 28 Documents Cited by ▼ Year ▼ Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133Sagiv, Mooly; Reps, Thomas; Horwitz, Susan 18 1996 Using slicing to identify duplication in source code. Zbl 0997.68644Komondoor, Raghavan; Horwitz, Susan 3 2001 Semantics-preserving procedure extraction. Zbl 1323.68360Komondoor, Raghavan; Horwitz, Susan 2 2000 An efficient general iterative algorithm for dataflow analysis. Zbl 0612.68015Horwitz, Susan; Demers, Alan; Teitelbaum, Tim 2 1987 Tool support for improving test coverage. Zbl 1077.68617Horwitz, Susan 1 2002 On the non-approximability of points-to analysis. Zbl 1034.68042Chakaravarthy, Venkatesan T.; Horwitz, Susan 1 2002 Debugging via run-time type checking. Zbl 0977.68638Loginov, Alexey; Yong, Suan Hsi; Horwitz, Susan; Reps, Thomas 1 2001 Tool support for improving test coverage. Zbl 1077.68617Horwitz, Susan 1 2002 On the non-approximability of points-to analysis. Zbl 1034.68042Chakaravarthy, Venkatesan T.; Horwitz, Susan 1 2002 Using slicing to identify duplication in source code. Zbl 0997.68644Komondoor, Raghavan; Horwitz, Susan 3 2001 Debugging via run-time type checking. Zbl 0977.68638Loginov, Alexey; Yong, Suan Hsi; Horwitz, Susan; Reps, Thomas 1 2001 Semantics-preserving procedure extraction. Zbl 1323.68360Komondoor, Raghavan; Horwitz, Susan 2 2000 Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133Sagiv, Mooly; Reps, Thomas; Horwitz, Susan 18 1996 An efficient general iterative algorithm for dataflow analysis. Zbl 0612.68015Horwitz, Susan; Demers, Alan; Teitelbaum, Tim 2 1987 all cited Publications top 5 cited Publications all top 5 Cited by 92 Authors 2 Harman, Mark 2 Reps, Thomas W. 2 Yahav, Eran 1 Abal, Iago 1 Alur, Rajeev 1 Amtoft, Torben 1 Androutsopoulos, Kelly 1 Apinis, Kalmer 1 Aschermann, Cornelius 1 Aßmann, Uwe 1 Barraclough, Richard W. 1 Binkley, Dave 1 Boccardo, Davidson R. 1 Bouajjani, Ahmed 1 Brabrand, Claus 1 Brics, Mārtiņš 1 Brockschmidt, Marc 1 Caromel, Denis 1 Cavalcanti, Ana 1 Chatterjee, Krishnendu 1 Clark, David 1 Cordy, James R. 1 Dalla Preda, Mila 1 Damian, Daniel 1 Danicic, Sebastian 1 Drozdov, Alexander Yu. 1 Dymnikov, Constantine 1 Esparza, Javier 1 Frohn, Florian 1 Fuhs, Carsten 1 Giesl, Jürgen 1 Grumberg, Orna 1 Henrio, Ludovic 1 Hensel, Jera 1 Heo, Kihong 1 Hierons, Robert Mark 1 Horwitz, Susan 1 Jagannathan, Suresh 1 Kavvadias, Dimitris J. 1 King, Steve F. 1 Kiss, Ákos 1 Ko, Yoonseok 1 Koschke, Rainer 1 Kragl, Bernhard 1 Kreiker, Jörg 1 Lakhotia, Arun 1 Lal, Akash 1 Laurence, Mike 1 Li, Zheng 1 Male, Chris 1 Manacero, Aleardo jun. 1 Marlowe, Thomas J. jun. 1 Melski, David 1 Mishra, Samarth 1 Müller-Olm, Markus 1 Nandivada, V. Krishna 1 Novikov, Sergey V. 1 Oh, Hakjoo 1 O’Halloran, Colin 1 Ouarbya, Lahcen 1 Pantziou, Grammati E. 1 Pavlogiannis, Andreas 1 Pearce, David J. 1 Peleg, Hila 1 Potanin, Alex 1 Reps, Tom 1 Rinetzky, Noam 1 Roy, Chanchal K. 1 Ryder, Barbara G. 1 Sagiv, Mooly 1 Schneider-Kamp, Peter 1 Serpette, Bernard Paul 1 Shoham, Sharon 1 Singh, Anshuman 1 Spirakis, Paul G. 1 Ströder, Thomas 1 Tang, Hao 1 Vene, Varmo 1 Vidali, Vanessa 1 Vojdani, Vesal 1 Wang, Di 1 Wang, Xiaoyin 1 Wąsowski, Andrzej 1 Wilhelm, Reinhard 1 Woodcock, James C. P. 1 Xiong, Yingfei 1 Yang, Hongseok 1 Yong, Suan Hsi 1 Yorav, Karen 1 Zaroliagis, Christos D. 1 Zhang, Lingming 1 Zhang, Lu all top 5 Cited in 13 Serials 4 Theoretical Computer Science 2 Acta Informatica 2 Science of Computer Programming 2 Formal Methods in System Design 2 Higher-Order and Symbolic Computation 1 Information Processing Letters 1 Programming and Computer Software 1 Information and Computation 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 28 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.