Search results for "AST"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Daniel Stefankovic, Santosh S. Vempala, Eric Vigoda	Adaptive simulated annealing: A near-optimal connection between sampling and counting.	J. ACM	2009	DBLP DOI BibTeX RDF	simulated annealing, Markov chain Monte Carlo, Counting
109	Dieter Scheffner, Johann Christoph Freytag	Access Support Tree & TextArray: A Data Structure for XML Document Storage & Retrieval.	SSDBM	2002	DBLP DOI BibTeX RDF
95	Beata Konikowska, Wojciech Penczek	Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}.	CONCUR	2002	DBLP DOI BibTeX RDF
82	David S. Ebert, Christopher J. Morris 0001, Penny Rheingans, Terry S. Yoo	Designing Effective Transfer Functions for Volume Rendering from Photographic Volumes.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	photographic data, volume rendering, transfer functions
68	Neal Lesh, Joe Marks, A. McMahon, Michael Mitzenmacher	New heuristic and interactive approaches to 2D rectangular strip packing.	ACM J. Exp. Algorithmics	2005	DBLP DOI BibTeX RDF	2D rectangular strip packing, Cutting stock/trim, interactive methods
68	William David Salisbury, Abhijit Gopal, Wynne W. Chin	Are We All Working from the Same Script? Developing an Instrument to Measure Consensus on the Appropriation of an Electronic Meeting System.	HICSS (3)	1996	DBLP DOI BibTeX RDF
64	Xianrong Su, Ruisheng Zhang, Tongming Wei, Ruipeng Wei, Lian Li 0003	Translating Gaussian03 AST into DLTK AST.	GCC	2009	DBLP DOI BibTeX RDF	DLTK, ANTLR, Translation, Editor, AST
58	Andres-Leonardo Martínez-Ortiz, David Lizcano, Miguel Ortega	Software metrics artifacts making web quality measurable: AST 2019 invited paper.	AST@ICSE	2019	DBLP DOI BibTeX RDF
58	Hong Zhu 0002, Junhua Ding, Patrícia D. L. Machado, Marc Roper	AST 2017 Workshop Summary.	AST@ICSE	2017	DBLP DOI BibTeX RDF
54	James Cheng, Yiping Ke, Wilfred Ng	Efficient query processing on graph databases.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	graph query processing, Graph databases, frequent subgraphs, graph indexing
54	Mark Lanthier, Doron Nussbaum, Tsuo-Jung Wang	Computing an approximation of the 1-center problem on weighted terrain surfaces.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	1-Center, meeting point, algorithms, robots, approximation, shortest path, weighted, terrain
54	Wenfei Fan, Floris Geerts, Wouter Gelade, Frank Neven, Antonella Poggi	Complexity and composition of synthesized web services.	PODS	2008	DBLP DOI BibTeX RDF	data-driven web services, complexity, composition
54	Jingli Zhou, Hongtao Xia, Jifeng Yu, Xiaofeng Wang	Asymmetrical SSL Tunnel Based VPN.	ISPA	2006	DBLP DOI BibTeX RDF
54	Zhenghua Fu, Haiyun Luo, Petros Zerfos, Songwu Lu, Lixia Zhang 0001, Mario Gerla	The Impact of Multihop Wireless Channel on TCP Performance.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	congestion and contention control, TCP performance, multihop networks
54	Srihari Adireddy, Lang Tong	Exploiting decentralized channel state information for random access.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
54	Reuven Y. Rubinstein	Cross-entropy and rare events for maximal cut and partition problems.	ACM Trans. Model. Comput. Simul.	2002	DBLP DOI BibTeX RDF	Combinatorial optimization, importance sampling, cross-entropy, rare event simulation
51	Paul B. Mann	A translational BNF grammar notation (TBNF).	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	LALR, LL, LR, intermediate code, language recognition, grammar, syntax, parser, parser generator, compiler compiler, AST, BNF, grammarware, EBNF
50	Hyungwoo Kang, Kibom Kim, Soon Jwa Hong, Dong Hoon Lee 0001	A Model for Security Vulnerability Pattern.	ICCSA (3)	2006	DBLP DOI BibTeX RDF	Abstract Syntax Tree (AST), Static analysis, Buffer overflow, Software security, Pushdown Automata (PDA)
47	Yongbo Xu, Mingqing Yu, Xingren Wang	Research and Development on AST-RTI.	AsiaSim	2004	DBLP DOI BibTeX RDF
46	László Angyal, László Lengyel, Hassan Charaf	A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering.	ECBS	2008	DBLP DOI BibTeX RDF	Three-way AST Differencing, AST Merging, Model-Code Synchronization, Model-Driven Development, Domain-Specific Models
43	Giuliano Antoniol, Massimiliano Di Penta, Ettore Merlo	YAAB (Yet Another AST Browser): Using OCL to Navigate ASTs.	IWPC	2003	DBLP DOI BibTeX RDF	AST navigation, UML, OCL, source code analysis
41	Michel Chilowicz, Étienne Duris, Gilles Roussel 0001	Syntax tree fingerprinting for source code similarity detection.	ICPC	2009	DBLP DOI BibTeX RDF
41	Jeffrey L. Overbey, Ralph E. Johnson	Generating Rewritable Abstract Syntax Trees.	SLE	2008	DBLP DOI BibTeX RDF
41	Brent Furneaux, Dorit Nevo	Beyond Cognitions: A Call for Greater Consideration of Emotion in Information Systems Decision Theories.	HICSS	2008	DBLP DOI BibTeX RDF
41	Dominic M. Thomas, Saurabh Gupta 0003, Robert P. Bostrom	A Meta-theory for Understanding IS in Socio-technical Systems.	HICSS	2008	DBLP DOI BibTeX RDF
41	Tal Philosof, Ram Zamir	The Cost of Uncorrelation and Noncooperation in MIMO Channels.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
41	Zhenmin Li, Zhifeng Chen, Yuanyuan Zhou 0001	Mining block correlations to improve storage performance.	ACM Trans. Storage	2005	DBLP DOI BibTeX RDF	block correlations, Storage management, mining methods and algorithms, file system management
41	Raihan Al-Ekram, Kostas Kontogiannis	An XML-Based Framework for Language Neutral Program Representation and Generic Analysis.	CSMR	2005	DBLP DOI BibTeX RDF
41	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time temporal logic.	J. ACM	2002	DBLP DOI BibTeX RDF	temporaxl logic, model checking, games, Alternation
41	Hagit Attiya, Eyal Dagan	Improved implementations of binary universal operations.	J. ACM	2001	DBLP DOI BibTeX RDF	contention-sensitive algorithms, deterministic coin tossing, load-linked/store-conditional operations, universal operations, wait-free algorithms, Asynchronous shared-memory systems
41	Mark Blunden, Adrian Escott	Related Key Attacks on Reduced Round KASUMI.	FSE	2001	DBLP DOI BibTeX RDF
40	Christopher G. Mayhew, Andrew R. Teel	Synergistic Hybrid Feedback for Global Rigid-Body Attitude Tracking on $\hbox{ SO }(3)^{\ast}$ ${\ssr {SO}}(3)^{\ast}$.	IEEE Trans. Autom. Control.	2013	DBLP DOI BibTeX RDF
40	Hongxun Qin, Xiangqian Zhou	The class of binary matroids with no M(K3, 3)-, M ast (K3, 3)-, M(K5)- or M ast (K5)-minor .	J. Comb. Theory, Ser. B	2004	DBLP DOI BibTeX RDF
39		IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023	AST	2023	DBLP DOI BibTeX RDF
39	Xiaoxue Wu, Wenjing Shan, Wei Zheng 0006, Zhiguo Chen, Tao Ren, Xiaobing Sun 0001	An Intelligent Duplicate Bug Report Detection Method Based on Technical Term Extraction.	AST	2023	DBLP DOI BibTeX RDF
39	Xiaoning Chang, Zheheng Liang, Yifei Zhang, Lei Cui, Zhenyue Long, Guoquan Wu, Yu Gao 0002, Wei Chen 0018, Jun Wei 0001, Tao Huang 0001	A Reinforcement Learning Approach to Generating Test Cases for Web Applications.	AST	2023	DBLP DOI BibTeX RDF
39	Weisong Sun, Weidong Qian, Bin Luo 0003, Zhenyu Chen 0001	MuTCR: Test Case Recommendation via Multi-Level Signature Matching.	AST	2023	DBLP DOI BibTeX RDF
39	Patrick Stöckle, Michael Sammereier, Bernd Grobauer, Alexander Pretschner	Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules.	AST	2023	DBLP DOI BibTeX RDF
39	Yavuz Köroglu, Franz Wotawa	Towards a Review on Simulated ADAS/AD Testing.	AST	2023	DBLP DOI BibTeX RDF
39	Sushant Kumar Pandey, Anil Kumar Tripathi	Cross-Project setting using Deep learning Architectures in Just-In-Time Software Fault Prediction: An Investigation.	AST	2023	DBLP DOI BibTeX RDF
39	Julian Thome, James Johnson, Isaac Dawson, Dinesh Bolkensteyn, Michael Henriksen, Mark Art	SourceWarp: A scalable, SCM-driven testing and benchmarking approach to support data-driven and agile decision making for CI/CD tools and DevOps platforms.	AST	2023	DBLP DOI BibTeX RDF
39	Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon	On Comparing Mutation Testing Tools through Learning-based Mutant Selection.	AST	2023	DBLP DOI BibTeX RDF
39	Rezwana Mamata, Akramul Azim, Ramiro Liscano, Kevin Smith, Yee-Kang Chang, Gkerta Seferi, Qasim Tauseef	Test Case Prioritization using Transfer Learning in Continuous Integration Environments.	AST	2023	DBLP DOI BibTeX RDF
39	Taejun Lee, Heewon Park, Heejo Lee	AutoMetric: Towards Measuring Open-Source Software Quality Metrics Automatically.	AST	2023	DBLP DOI BibTeX RDF
39	Amal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon	FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning.	AST	2023	DBLP DOI BibTeX RDF
39	Martin Gruber, Gordon Fraser 0001	Debugging Flaky Tests using Spectrum-based Fault Localization.	AST	2023	DBLP DOI BibTeX RDF
39	Shawn Rasheed, Jens Dietrich 0001, Amjed Tahir	On the Effect of Instrumentation on Test Flakiness.	AST	2023	DBLP DOI BibTeX RDF
39	Renan Greca, Breno Miranda, Antonia Bertolino	Orchestration Strategies for Regression Test Suites.	AST	2023	DBLP DOI BibTeX RDF
39	Moritz Beller, Hongyu Li, Vivek Nair, Vijayaraghavan Murali, Imad Ahmad, Jürgen Cito, Drew Carlson, Gareth Ari Aye, Wes Dyer	Learning to Learn to Predict Performance Regressions in Production at Meta.	AST	2023	DBLP DOI BibTeX RDF
39	Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma 0001, Mike Whalen	Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution.	AST	2023	DBLP DOI BibTeX RDF
39	Sydur Rahaman, Umar Farooq 0002, Iulian Neamtiu, Zhijia Zhao 0001	Detecting Potential User-data Save & Export Losses due to Android App Termination.	AST	2023	DBLP DOI BibTeX RDF
39	Ranim Khojah, Chi Hong Chao, Francisco Gomes de Oliveira Neto	Evaluating the Trade-offs of Text-based Diversity in Test Prioritisation.	AST	2023	DBLP DOI BibTeX RDF
39	Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti	Cross-coverage testing of functionally equivalent programs.	AST	2023	DBLP DOI BibTeX RDF
39	Hong Zhu 0002, Jerry Gao 0002, Saurabh Sinha, Lu Zhang 0023 (eds.)	9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014	AST	2014	DBLP BibTeX RDF
39	Sebastian Eder, Benedikt Hauptmann, Maximilian Junker, Rudolf Vaas, Karl-Heinz Prommer	Selecting manual regression test cases automatically using trace link recovery and change coverage.	AST	2014	DBLP DOI BibTeX RDF
39	Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Andreas Nikas	Reduce first, debug later.	AST	2014	DBLP DOI BibTeX RDF
39	Josip Bozic, Dimitris E. Simos, Franz Wotawa	Attack pattern-based combinatorial testing.	AST	2014	DBLP DOI BibTeX RDF
39	Huiqing Li, Simon J. Thompson	Improved semantics and implementation through property-based testing with QuickCheck.	AST	2014	DBLP DOI BibTeX RDF
39	Breno Miranda, Antonia Bertolino	Social coverage for customized test adequacy and selection criteria.	AST	2014	DBLP DOI BibTeX RDF
39	Kaliappa Ravindran, Arun Adiththan	Verification of non-functional properties of cloud-based distributed system services.	AST	2014	DBLP DOI BibTeX RDF
39	Chenkai Guo, Jing Xu 0008, Hongji Yang, Ying Zeng, Shuang Xing	An automated testing approach for inter-application security in Android.	AST	2014	DBLP DOI BibTeX RDF
39	Kshirasagar Naik, Yasir Ali, Veluppillai Mahinthan, Ajit Singh, Abdulhakim Abogharaf	Categorizing configuration parameters of smartphones for energy performance testing.	AST	2014	DBLP DOI BibTeX RDF
39	Damodaram Kamma, Pooja Maruthi	Effective unit-testing in model-based software development.	AST	2014	DBLP DOI BibTeX RDF
39	Hong Zhu 0002, Henry Muccini, Zhenyu Chen 0001 (eds.)	8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013	AST	2013	DBLP BibTeX RDF
39	Oleksii Starov, Sergiy Vilkomir	Integrated TaaS platform for mobile development: Architecture solutions.	AST	2013	DBLP DOI BibTeX RDF
39	Werner Janjic, Colin Atkinson 0001	Utilizing software reuse experience for automated test recommendation.	AST	2013	DBLP DOI BibTeX RDF
39	Redge Bartholomew	An industry proof-of-concept demonstration of automated combinatorial test.	AST	2013	DBLP DOI BibTeX RDF
39	Giovanni Denaro, Mauro Pezzè, Mattia Vivanti	Quantifying the complexity of dataflow testing.	AST	2013	DBLP DOI BibTeX RDF
39	Alpana Dubey, Pvr Murthy	Computation and visualization of cause-effect paths.	AST	2013	DBLP DOI BibTeX RDF
39	Sebastian Eder, Benedikt Hauptmann, Maximilian Junker, Elmar Jürgens, Rudolf Vaas, Karl-Heinz Prommer	Did we test our changes? Assessing alignment between tests and development in practice.	AST	2013	DBLP DOI BibTeX RDF
39	Kai Pan, Xintao Wu, Tao Xie 0001	Automatic test generation for mutation testing on database applications.	AST	2013	DBLP DOI BibTeX RDF
39	Donia El Kateb, Yehia ElRakaiby, Tejeddine Mouelhi, Yves Le Traon	Access control enforcement testing.	AST	2013	DBLP DOI BibTeX RDF
39	Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto 0001, Kiran Lakhotia, Mark Harman	Automated generation of state abstraction functions using data invariant inference.	AST	2013	DBLP DOI BibTeX RDF
39	Xiaoying Bai, Muyang Li, Xiaofei Huang, Wei-Tek Tsai, Jerry Zeyu Gao 0002	Vee@Cloud: The virtual test lab on the cloud.	AST	2013	DBLP DOI BibTeX RDF
39	Chin-Yun Hsieh, Chen-Hsin Tsai, Yu Chin Cheng	Test-Duo: A framework for generating and executing automated acceptance tests from use cases.	AST	2013	DBLP DOI BibTeX RDF
39	Josip Bozic, Franz Wotawa	XSS pattern for attack modeling in testing.	AST	2013	DBLP DOI BibTeX RDF
39	Andreza M. F. V. de Castro, Gisele Macedo, Eliane F. Collins, Arilo Claudio Dias-Neto	Extension of Selenium RC tool to perform automated testing with databases in web applications.	AST	2013	DBLP DOI BibTeX RDF
39	Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Samuel T. C. Santos	A refactoring-based approach for test case selection and prioritization.	AST	2013	DBLP DOI BibTeX RDF
39	Paulo Moura, Fabio Kon	Automated scalability testing of software as a service.	AST	2013	DBLP DOI BibTeX RDF
39	Changjiang Jia, Wing Kwong Chan	Which compiler optimization options should I use for detecting data races in multithreaded programs?	AST	2013	DBLP DOI BibTeX RDF
39	Francesco De Angelis 0001, Daniele Fanì, Andrea Polini	ParTes: A test generation strategy for choreography participants.	AST	2013	DBLP DOI BibTeX RDF
39	Jochen Schimmel, Korbinian Molitorisz, Ali Jannesari, Walter F. Tichy	Automatic generation of parallel unit tests.	AST	2013	DBLP DOI BibTeX RDF
39	Hong Zhu 0002, Henry Muccini, Zhenyu Chen 0001	Foreword.	AST	2013	DBLP DOI BibTeX RDF
39	Yan Hu, Jun Yan 0009, Jian Zhang 0001, He Jiang 0001	Profile directed systematic testing of concurrent programs.	AST	2013	DBLP DOI BibTeX RDF
39	Wei-Tek Tsai, Charles J. Colbourn, Jie Luo 0004, Guanqiu Qi, Qingyang Li, Xiaoying Bai	Test algebra for combinatorial testing.	AST	2013	DBLP DOI BibTeX RDF
39	Mohammad Asif, Y. Raghu Reddy	JIFFY: A framework for encompassing aspects in testing and debugging software.	AST	2013	DBLP DOI BibTeX RDF
39	Andrea Avancini, Mariano Ceccato	Security testing of the communication among Android applications.	AST	2013	DBLP DOI BibTeX RDF
39	Seema Jehan, Ingo Pill, Franz Wotawa	Functional SOA testing based on constraints.	AST	2013	DBLP DOI BibTeX RDF
39	Melanie Diepenbeck, Mathias Soeken, Daniel Große, Rolf Drechsler	Towards automatic scenario generation from coverage information.	AST	2013	DBLP DOI BibTeX RDF
39	Daniel Hoffman, John Hughes 0001, Dianxiang Xu (eds.)	7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012	AST	2012	DBLP BibTeX RDF
39	Henry Muccini, Antonio Di Francesco, Patrizio Esposito	Software testing of mobile applications: Challenges and future research directions.	AST	2012	DBLP DOI BibTeX RDF
39	Santo Carino, James H. Andrews, Sheldon Goulding, Pradeepan Arunthavarajah, Tony Florio, Jakub Hertyk	BlackHorse: Creating smart test cases from brittle recorded tests.	AST	2012	DBLP DOI BibTeX RDF
39	Niels Hallenberg, Philip Lykke Carlsen	Declarative automated test.	AST	2012	DBLP DOI BibTeX RDF
39	Giovanni Denaro	All-values symbolic execution.	AST	2012	DBLP DOI BibTeX RDF
39	Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori	Testing of PolPA authorization systems.	AST	2012	DBLP DOI BibTeX RDF
39	Raphael Pham, Helge Holzmann, Kurt Schneider, Christian Brüggemann	Beyond plain video recording of GUI tests: Linking test case instructions with visual response documentation.	AST	2012	DBLP DOI BibTeX RDF
39	Eliane Figueiredo Collins, Vicente Ferreira de Lucena	Software Test Automation practices in agile development environment: An industry experience report.	AST	2012	DBLP DOI BibTeX RDF
39	TheAnh Do, Alvis Cheuk M. Fong, Russel Pears	Scalable automated test generation using coverage guidance and random search.	AST	2012	DBLP DOI BibTeX RDF
39	Valentin Chimisliu, Franz Wotawa	Category Partition Method and Satisfiability Modulo Theories for test case generation.	AST	2012	DBLP DOI BibTeX RDF
39	Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Muhammad Ali	G-RankTest: Regression testing of controller applications.	AST	2012	DBLP DOI BibTeX RDF