Table of Contents

• Image Biometric Verification in Spatial Frequency DomainVijayakumar Bhagavatula. 1
• Object and Activity Recognition in Video StreamsRamakant Nevatia. 2
• Diagnosis and Prognosis: From Rule-Based Systems to First-Order Graphical ModelsGeorge F. Luger. 3
• Advanced Semantic WEB for Peer-to-Peer knowledge-bases: Intensional View-based Mapping and Epistemic Independency of PeersZoran Majkic. 4
• A Framework for Synthesizing Arbitrary Boolean Expressions Induced by Frequent ItemsetsAnimesh Adhikari, P. R. Rao. 5-23
• An Effective Model for Context-Free Grammar InferenceGend Lal Prajapati, Narendra S. Chaudhari, Manohar Chandwani. 24-42
• A Constructive Heuristic for No-wait Flowshop SchedulingDipak Laha, Debiprasad Bandyopadhyay. 43-48
• A Sample-based K-means Algorithm for Fast Image SegmentationMalay K. Pakhira. 49-56
• Parallel k-means Algorithm on a Cyclic NetworkMalay K. Pakhira. 57-67
• Search Space Partitioning for Multiple Heuristic CalculationGuy Camilleri, Joseph Zalaket. 68-83
• Solving Difficult Problems by Viewing them as Structured Dense GraphsPavel Surynek, Lukás Chrpa, Jirí Vyskocil. 84-103
• On the Inference of Linear Single Tree Grammars from Positive Structural InformationK. G. Subramanian, A. Roslin Sagaya Mary, P. Helen Chandra. 104-111
• Topologically Continuous Associative Memory: A Theoretical FoundationEnrique Carlos Segura. 112-131
• IGA: an Improved Genetic Algorithm for MAX-SAT ProblemsDalila Boughaci, Belaid Benhamou, Habiba Drias. 132-150
• Detecting and Eliminating Local Symmetry During Search in CSPsBelaid Benhamou, Mohamed Réda Saïdi. 151-166
• Local Search-based Method for Restoring Disjunctive Temporal Problem ConsistencyMahat Khelfallah, Belaid Benhamou. 167-179
• Hybrid Stochastic Search Approach for solution of Unit Commitment ProblemG. S. Sailesh Babu, D. Bhagwan Das, C. Patvardhan. 180-199
• A Hybrid Evolutionary Approach to the Quadratic Knapsack ProblemAlok Singh, Anurag Singh Baghel. 200-208
• Perturbation Based Local Search for the Degree-Constrained Minimum Spanning-Tree ProblemAlok Singh, Ashok Kumar Gupta. 209-219
• Solving Constraint Satisfaction Problems using Informed Backtracking based AlgorithmsJlifi Boutheina, Khaled Ghédira. 220-234
• Pattern Generation and Stochastic Table Hexagonal GrammarsD. G. Thomas, S. C. Samuel, P. J. Abisha. 235-254
• Decomposition Algorithms for Large-scale Clustered TSPRoman Bazylevych, Roman Kutelmakh, Rémy Dupas, Lubov Bazylevych. 255-267
• Geometry Layout for Real-World Tree Networks Using Harmony SearchZong Woo Geem. 268-276
• A New Method of Fuzzy Clustering of Ordinal Feature Valued VectorsRoelof K. Brouwer. 278-291
• Hybrid Particle Swarm Optimization for Rectilinear Steiner Arborescence ProblemS. Sudha, J. Beula Sahaya Hepziba. 292-300
• A Hybrid Preference-based Recommender System Based on Fuzzy Concordance / Discordance PrincipleMohammad Yahya H. Al-Shamri, Kamal K. Bharadwaj. 301-314
• Comparative Study of Real Time Performance of Fuzzy PI/PID Controllers in Cascade Control LoopVineet Kumar, A. P. Mittal, Ranjit Singh. 315-334
• Fuzzy Medical Diagnostic Decision Support with Semiautomatic Knowledge Acquisition: A Case Study in Infectious DiseasesKavishwar Wagholikar, Ashok Deshpande. 335-343
• Computer Aided Fuzzy Based Technique for Detection of Suspicious Masses and Microcalcifications from Mammographic ImagesMadasu Hanmandlu, Davuluri Vineel, Gurpreet Singh. 344-358
• Intelligent Hybrid Multipath Routing in Mobile Ad Hoc NetworksSunita Prasad, Y. P. Singh. 359-371
• On Construction of Multi-class Binary Neural NetworksNarendra S. Chaudhari, Aruna Tiwari. 372-388
• A New Tree Generation Algorithm for Genetic ProgrammingR. Geetha Ramani, R. Subramanian, S. SivaSathya, P. Viswanath. 389-401
• Neural Networks for Identification of Crypto SystemsB. Chandra, P. Paul Varghese, P. K. Saxena, Shri Kant. 402-411
• Particle Swarm Optimization: Experimenting the Distributions of Random NumbersMillie Pant, T. Radha, V. P. Singh. 412-420
• Integrated Learning Particle Swarm OptimizerSamrat L. Sabat, Layak Ali. 421-440
• Elitist - Multi-objective Differential Evolution (E-MODE) Algorithm for Multi-objective OptimizationB. V. Babu, Ashish M. Gujarathi. 441-456
• On the Stability of SVR-based Nonlinear Autoregressive Dynamical ModelJianmin Li, Bo Zhang. 457-473
• A Symbolic Approach for Classification of NumeralsBapu B. Kiranagi, R. Dinesh, D. S. Guru. 474-484
• Training Resource Allocating Network using Medoids and Significant PatternsT. N. Nagabhushan, S. K. Padma. 485-494
• Category Based Feature Weighting for Automatic Text CategorizationK. Lakshmi, Saswati Mukherjee. 495-511
• Synthesizing Global Exceptional Patterns in Multiple DatabasesAnimesh Adhikari, P. R. Rao. 512-531
• Mastermind: A Genetic Classifier for Extraction of Human AlgorithmsNilton Furtado Canto, Márcio Lobo Netto. 532-549
• Continuous Segmentation of Offline handwritten Word for Feature ExtractionC. Namrata Mahender, K. V. Kale. 550-558
• Edge-based Sports Video Classification using HMMC. Krishna Mohan, B. Yegnanarayana. 559-564
• Core Vector ClusteringSeshikanth Varma, S. Asharaf, M. Narasimha Murty. 565-574
• Polar-eigenspace: A Linear Transformation Invariant Model for Appearance Based Object / Face RecognitionB. H. Shekar, G. Thippeswamy, P. Nagabhushan, D. S. Guru. 575-584
• MLP-based Assamese Character and Numeral Recognition using an Innovative Hybrid Feature SetKandarpa Kumar Sarma. 585-600
• Performance Evaluation of Subspace Methods And a Study of Their Robust BehaviorS. Noushath, Ashok Rao, G. Hemantha Kumar. 601-620
• Local Partial Hausdorff Distance Measure Based on Binary Feature for Iris RecognitionN. Sudha, N. B. Puhan, Hua Xia, Xudong Jiang. 621-629
• Pulling Leader Oriented Clustering Approach for Non Symmetric Proximity MatricesBapu B. Kiranagi, D. S. Guru. 630-642
• Password Less System Security Using Multimodal Biometric FusionGirija Chetty, Dat Tran, Dharmendra Sharma, Bala M. Balachandran. 643-662
• Information Theory Based Intruder Detection in Sensor NetworksAisha Yousuf, Fatma Mili, Nancy Alrajei. 663-682
• Rough Set Based Rank Aggregation for the WebRashid Ali, Mirza Mohd. Sufyan Beg. 683-698
• Simulating and Evaluating Dynamic Channel Assignment Schemes in Wireless Communication Networks through an Improved Multi-Agent SystemP. M. Papazoglou, Dimitris A. Karras, Rallis C. Papademetriou. 699-710
• Online Hotlink Assignment Algorithm for Adaptive WebsitesPoonam Goyal, Navneet Goyal, Ankit Khandelwal, S. Raja Babu. 711-719
• An Improved Evaluation Framework for the Quality Assessment of Hash Functions in Data Communications based on Computational Intelligence and Nonlinear MethodologyDimitris A. Karras, Vasilios Zorkadis. 720-730
• Knowledge Based Discovery of Phishing AttacksRam B. Basnet, Krishna Yendrapalli, Tenzin, Srinivas Mukkamala, Andrew H. Sung. 731-742
• Cross Company Resource and Time Assignment in a Combinatorial Auction ScenarioJörg Lässig. 743-762
• Fuzzy Quadtree Based Path Planner and Trajectory Smoother for a Low Cost Unmanned Aerial VehicleAbhishek Halder, Sayan Ghosh, Manoranjan Sinha. 763-778
• A Hierarchical Support Vector Machine based Trajectory Tracking Methodology for Modeling Robot Manipulators Inverse DynamicsDimitris A. Karras. 779-786
• Global Localization of Robots by Occupancy FieldsK. Hemanth, Nageshwar Rao, K. Madhava Krishna, S. Subhash. 787-802
• Multi Robotic Navigation with Coverage and Communication ConstraintsAditya Teja, K. Madhava Krishna. 803-814
• Increasing Coverage and Preserving Covertness for UAV Moving in Undulated TerrainsMahesh Mohan, K. Madhava Krishna, Manohar B. Srikanth, Mathias P. C.. 815-823
• Multi-objective Differential Evolution Approach for Optimal Control of Water Resource SystemsM. Janga Reddy, D. Nagesh Kumar. 824-935
• Modeling GCM and Scenario Uncertainty: An Imprecise Probability ApproachSubimal Ghosh, P. P. Mujumdar. 836-846
• Flood Forecasting using ARMA and Artificial Neural NetworksAbhinav Lele, V. R. Desai. 847-858
• Optimal Division of Dataset into Three Subsets for Artificial Neural Network ModelsGoloka Behari Sahoo, Chittaranjan Ray. 859-872
• Forecasting Extremes of Indian Summer Monsoon Rainfall using Bayesian LearningShivam Tripathi, Rao S. Govindaraju. 873-891
• Change Detection of Satellite Images for Disaster Assessments using Image RegistrationK. R. Mahendra, Lyla B. Das. 906-916
• Relevance Vector Machine Classifier Analysis of SlopePijush Samui, Sarat Kumar Das. 917-925
• Confinement Efficiency of R C Columns with Rectangular Ties: A SVM ApproachSk. Faruque Ali, Pijush Samui. 926-940
• Fuzzy Logic Approach for Automating Visual Condition Monitoring of Railway SleepersSiril Yella, Marc Dougherty, Narendra Kumar Gupta. 941-956
• SVM Based Traffic Sign Classification Using Legender MomentsHasan Fleyeh, Marc Dougherty. 957-968
• Self-Organizing Feature Map Model for Air Quality PredictionS. V. Barai, A. K. Dikshit, Sameer Sharma. 969-986
• Soft Computing in Concrete Technology: A Pragmatic AppraisalM. A. Jayaram, M. C. Nataraja, C. N. Ravikumar. 987-1006
• Discrimination for Malignant and Benign Masses in Breast Using Mammogram: A Study on Adaptive Neuro-Fuzzy ApproachesMahua Bhattacharya, Arpita Das. 1007-1026
• Cohesive Geneset Discovery in Microarray DataRamkishore Bhattacharyya, Balaram Bhattacharyya. 1027-1044
• Electrocardiogram Pattern Classification: An Approach Employing DCT and Artificial Neural NetworksRajesh Ghongade, Ashok A. Ghatol. 1045-1057
• Statistical Analysis and Compression of DNA using Weighted Probability Approach and Modified Run-Length EncodingK. G. Srinivasa, Sagnik Dhar, K. R. Venugopal, Lalit M. Patnaik. 1058-1070
• Error Estimation for Kernel Matrix Learning Through Leave-One-Out-Kernel BootstrapV. Vijaya Saradhi, Harish Karnick. 1071-1088
• Forecasting PVT Correlations of Crude Oil Systems Using Type1 Fuzzy Logic Inference SystemsEmad A. El-Sebakhy, A. Abdulraheem, M. Ahmed. 1089-1107
• A Novel Multi Thread Based Feature Selection for Dimensionality ReductionC. Deisy, B. Subbulakshmi, S. Baskar, N. Ramaraj. 1108-1123
• Improving Link Detection System using SVM with Context-GraphK. Lakshmi, S. Sakthi Kala, Saswati Mukherjee. 1124-1137
• A Probabilistic Approach on Association Rule-based Text Classifier SystemAsit Kumar Das, Jaya Sil, Mainak Mondal. 1138-1151
• Learning from Missing Data: A Reflex Fuzzy Min-Max Neural Network ApproachAbhijeet V. Nandedkar, Prabir K. Biswas. 1152-1166
• Rough Sets Based Hybrid C-Means AlgorithmPradipta Maji, Sankar K. Pal. 1167-1185
• Current Trends in Bayesian Network InferenceCory J. Butz. 1186-1205
• I-KARe - A Rational Approach to Knowledge Acquisition and Reasoning using Indian Logic Based Knowledge ModelsMahalakshmi G. Suryanarayanan, T. V. Geetha. 1206-1222
• Logics for ActionMichael P. Fourman. 1223-1237
• Autoepistemic Belief-revision for Integration of Mutually Inconsistent KnowledgeZoran Majkic. 1238-1252
• A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal LogicAlexander Bolotov, Oleg Grigoriev, Vasilyi Shangin. 1253-1266
• Clustering Coefficient and Connectivity in a Network of Multi-Agent Systems Competing for DominanceKwok Yip Szeto, Tin Yau Pang. 1267-1276
• Using Agents Commitments for Multi-agent Problem SolvingMadhu Goyal. 1277-1296
• Optimal Partner Selection Model for CooperationPunam Bedi, Vibha Gaur. 1297-1307
• Chasing Multiple Mobile Signal Sources: A Glowworm Swarm Optimization ApproachK. N. Krishnanand, Debasish Ghose. 1308-1327
• Non Omniscient Intensional Contextual Reasoning for Query-agents in P2P SystemsZoran Majkic. 1328-1342
• Highly Dynamic Multi Critriea Agent Based Routing for Mobile Ad-Hoc NetworksA. Nagaraju, S. Ramachandram, C. R. Rao. 1343-1353
• Extending Contract Net Protocol for Arguing AgentsAnanta Charan Ojha, Sateesh Kumar Pradhan, Manas Ranjan Patra. 1354-1365
• Reciprocal Negotiation in Multi-agent SocietiesSabyasachi Saha, Sandip Sen. 1366-1382
• An Analytical Framework for Characterizing Restricted Two Dimensional Cellular Automata EvolutionShiladitya Munshi, Nirmalya Sundar Maiti, Deepan Ray, Debabrata Roy Chowdhury, Parimal Pal Chaudhuri. 1383-1402
• Design of Response-Pattern Classi er for Fault Diagnosis of Electronic CircuitsPradipta Maji, Parimal Pal Chaudhuri. 1403-1422
• Time-Optimum Synchronization Algorithms for Two-Dimensional Cellular Arrays - A SurveyHiroshi Umeo. 1423-1439
• Cellular Automata Model for Cost Optimal Design of Steel Building FramesDebashis Moitra, Sandip Dhar, J. M. Mallick, Biplab K. Sikdar. 1440-1455
• Scalable Evolutionary Design of CA Pattern ClassifierJoy Deep Nath, Pabitra Mitra, Niloy Ganguly. 1456-1475
• Hybrid Fuzzy One Dimensional Cellular Automaton with External InputSubhasree Basu, Sumita Basu. 1476-1489
• Probabilistic Cellular Automata Model for Identification of CpG island in DNA StringSoumyabrata Ghosh, Nizamuddin Laskar, Sourav Mahapatra, Parimal Pal Chaudhury. 1490-1509
• Forecasting Rice Yield using Neural NetworksAmrender Kumar, Ramasubramanian V., Ranjana Agrawal. 1510-1516
• Development of an Artificial Neural Network Based Model for Shelf-Life Prediction of Basundi Mix An Indian Dairy ProductAnand Prakash Ruhil, Ram Ran Bijoy Singh, Devender Kumar Jain, Ashok Ambalal Patel, Girdhari Ramdas Patil. 1517-1524
• Applying Decision Tree for Automatic Classification of Agricultural Web DocumentsAnu Sharma, Rajni Jain. 1525-1532
• Yield Prediction Through Feed Forward Neural Network Approach for Direct Seeded Rice (Oryza sativa) in Bay IslandsM. Balakrishnan, N. Ravisankar, K. Meena, R. Elanchezhian, S. K. Zamir Ahmed. 1533-1541
• Development of a Knowledge Acquisition System for Pulse Crop DiseasesB. Devraj, Renu Jain. 1542-1553
• Suitability of Farm Machinery Using Vague Selection KnowledgeKaran Singh. 1554-1562
• Knowledge Based Decision Support System for Management of Powdery Mildew Disease in GrapesK. Y. Mundankar, S. D. Sawant, Indu S. Sawant, J. Sharma, P. G. Adsule. 1563-1571
• Evaluation of Neural Network Applications for Data EditingRamasubramanian V., Ranjana Agrawal, S. B. Lal, Anil Rai, Amrender Kumar, Syed Moonis Raza, G. K. Jha. 1572-1581
• Prototype Intelligent Information System for Disease Diagnosis in CropsSavita Kolhe, Raj Kamal, Harvinder S. Saini, G. K. Gupta. 1582-1595
• A Software for Imputing Missing Values using Neural NetworksS. B. Lal, Ramasubramanian V., Ranjana Agrawal, Syed Moonis Raza, G. K. Jha. 1595-1604
• Neural Network with Delta Learning to Predict Male and Female Indian Population of Different Age GroupsSurajit Chattopadhyay, Goutami Chattopadhyay. 1605-1614
• Rough Set based Feature Selection for ClusteringAlka Arora, Rajni Jain, Shuchita Upadhyaya. 1615-1625
• Self-Organizing Map Based Classification of Smell Stages of Black Tea Fermentation Process Using Electronic NoseBipan Tudu, Nabarun Bhattacharyya, Arun Jana, Devdulal Ghosh, Rajib Bandyopadhyay. 1626-1635
• Knowledge Engineering for an Expert System on Wheat Crop ManagementS. N. Islam, K. K. Chaturvedi, Hari Om Agarwal, M. S. Farooqi, Kirti Sharma, Adesh K. Sharma, Randhir Singh, R. K. Sharma, H. S. Sikarwar. 1636-1647
• Automatic Rice Classification under Uniform Specification Using Flat-Bed Scanner and Image ProcessingH. K. Sardana, H. N. Bhargaw, Sheetu Sachdeva, Deepak Varshney. 1648-1668
• Approximate Core based RDT model for Classifying Technology Savvy FarmersRajni Jain. 1669-1683
• Hierarchical Course Knowledge Representation using OntologiesJaved I. Khan, Manas Hardas. 1684-1698
• Study of Select Items in Multiple Databases by GroupingAnimesh Adhikari, P. R. Rao. 1699-1718
• Relation Extraction from Texts for Efficient Access to InformationApplication to Bio-Medical Text ProcessingLipika Dey, Muhammad Abulaish, Jahiruddin Sharma. 1719-1737
• A Novel Semantic-based Text Representation Method for Improving Text ClusteringLinyuan Yan, Chunping Li. 1738-1750
• Personalized Web Search Using a Modified User Conceptual Index Based on a Search Flow GraphS. Sendhilkumar, T. V. Geetha. 1751-1762
• Project SEWEBAR Considerations on Semantic Web and Data MiningJan Rauch. 1763-1782
• A Multilevel Model of Filtering Chinese Bad Information Based on Heuristic Rules and Text ClassificationYinli Wang, Fengzhan Tian, Yanfeng Zhang. 1783-1793
• An Ontological Approach to Business Process ModelingAntonio De Nicola, Mario Lezoche, Michele Missikoff. 1794-1813
• ANERsys 2.0: Conquering the NER Task for the Arabic Language by Combining the Maximum Entropy with POS-tag InformationYassine Benajiba, Paolo Rosso. 1814-1823
• Extractive Summarization in Clinical Trials Protocol Summaries: A Case StudyGraciela Rosemblat, Laurel Graham, Tony Tse. 1824-1837
• Extraction and Translation of Multi-Word Number ExpressionsAnil Kumar Singh. 1838-1851
• Exploring Translation Similarities for Building a Better Sentence AlignerAnil Kumar Singh, Samar Husain. 1852-1863
• Text Categorization in Indian Languages using Machine Learning ApproachesK. Raghuveer, Kavi Narayana Murthy. 1864-1883
• Automatic Conversion of Html Pages to Semantic Web PagesSri Krishna, Saroj Kaushik. 1884-1896
• A Java Implementation of an Extended Word Alignment Algorithm Based on the IBM ModelsG. Chinnappa, Anil Kumar Singh. 1897-1913
• A Web Based English to Bengali Text ConverterSiddhartha Ghosh, Sameen Fatima. 1914-1923
• HMM-based Language-independent POS TaggerD. Pradeep Varma, Rakesh M., Ratna Sanyal. 1924-1935
• Language Independent Named Entity TransliterationAsif Ekbal, Sudip Kumar Naskar, Sivaji Bandyopadhyay. 1936-1950
• Named Entity Recognition in Tamil using Context-cues and the E-M algorithmS. Lakshmana Pandian, T. V. Geetha, Krishna. 1951-1958
• Sentiment Analysis of Text by Weighted Polarity ApproachSwetha Kurup, Mohamed Sadiq, V. Sridhar. 1959-1969
• A Quantization Based Heuristic to Stabilize Low Quality VideoPrashanth Ravindran, Chetan H. Nadiger. 1970-1980
• Application of Euclidean Distance in Optimal Coupling used in Text to Speech SynthesisLeena Dutta, Suryakanth V. Gangashetty. 1981-1987
• Significance of Multimodal Biometric SystemsK. Rajesh, P. Kartik, S. R. M. Prasanna, J. S. Sahambi. 1988-2002
• Speaker Recognition in Limited Data Conditions using Self-Organizing MapH. S. Jayanna, S. R. M. Prasanna. 2003-2009
• Face Recognition by Multiresolution Contourlet Transform on Bit Quantized Facial ImagesAngshul Majumdar, S. Ray, A. Bhattacharya. 2010-2026
• Support Vector Machines Applied to Automated Categorization of Facial ExpressionsAbu Sayeed Md. Sohail, Prabir Bhattacharya. 2027-2046
• Visual Feature Extraction Method for Identification of South Indian LanguagesM. C. Padma, P. A. Vijaya. 2047-2059
• A Vector Approach to Boundary TraversingNitin L. Narappanawar, B. Madhusudan Rao, Srikanth T.. 2060-2073
• Analysis of VQ Based Fractal Image Coding Using Genetic AlgorithmS. Santhosh Kumar, ShankarNarayanan V., Rangarajan K. M., VenkataKrishna A. L., J. Vignesh, Rangarajan L. R.. 2074-2088
• Fast Contrast Enhancement Technique for Medical ImagesAnita Shinkar, Prakash Devale. 2089-2095
• Unconstrained Handwritten Kannada Numeral Recognition: An Approach Based on Thinning and Distance MeasureS. K. Niranjan, V. Vijay Kumar, G. Hemantha Kumar. 2096-2103
• Incomplete Beta Function Based Multi Level Crossing Approach for Signal SamplingNagesha, G. Hemantha Kumar, Aradhya V. N. Manjunath, S. Noushath. 2104-2112
• Fusion of PCA and FLD at Feature Extraction Level for Fingerspelling RecognitionD. S. Guru, M. G. Suraj. 2113-2122
• Stochastic Resonance in the Perceptual Interpretation of Zero Crossing Maps: A Low Level Center Surround Model of VisionSandip Sarkar, Kuntal Ghosh, Kamales Bhaumik. 2123-2139
• Modeling Temporal Behavior via Structured Hidden Markov Models: an Application to Keystroking DynamicsUgo Galassi, Attilio Giordana, Charbel Julien, Lorenza Saitta. 2140-2154
• Strategy Proof Electronic MarketsA. R. Dani, Arun K. Pujari, Ved Prakash Gulati. 2155-2171
• A Context-Partitioned Stochastic Modeling System with Causally Informed Context Management and Model InductionNikita A. Sakhanenko, Roshan Rammohan, George F. Luger, Carl R. Stern. 2172-2191
• Multi-Document Summarization by Graph MatchingLiang Liu, Weijun Chen, Jianmin Wang. 2192-2202
• BiTutor - Decision Making and Tutoring Strategy in Bayesian Intelligent SystemYaser Nouh, Varunkumar Nagarajan, R. Nadarajan. 2203-2222
• Fault Detection in Hot Strip Mill using Multi-way Principal Component Analysis and Autoregressive Model Spectrum EstimationWei-Li Chuang, Yuan-Liang Hsu, Jia-Yush Yen, Cheng-Hung Chen. 2223-2237
• Figure-Ground Segregation: Cues from Early VisionKuntal Ghosh, Sankar K. Pal. 2238-2254
• Automated Test Generation from Models Based on Functional Software SpecificationsMichael Esser, Peter Struss. 2255-2268